Ethan Steinberg
3cb7c254e6
Fix functional.h bug + introduce test to verify that it is fixed ( #4254 )
...
* Illustrate bug in functional.h
* style: pre-commit fixes
* Make functional casting more robust / add workaround
* Make function_record* casting even more robust
* See if this fixes PyPy issue
* It still fails on PyPy sadly
* Do not make new CTOR just yet
* Fix test
* Add name to ensure correctness
* style: pre-commit fixes
* Clean up tests + remove ifdef guards
* Add comments
* Improve comments, error handling, and safety
* Fix compile error
* Fix magic logic
* Extract helper function
* Fix func signature
* move to local internals
* style: pre-commit fixes
* Switch to simpler design
* style: pre-commit fixes
* Move to function_record
* style: pre-commit fixes
* Switch to internals, update tests and docs
* Fix lint
* Oops, forgot to resolve last comment
* Fix typo
* Update in response to comments
* Implement suggestion to improve test
* Update comment
* Simple fixes
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Co-authored-by: Aaron Gokaslan <aaronGokaslan@gmail.com >
2022-11-18 10:08:11 -08:00
..
2022-10-21 17:25:53 -04:00
2022-02-11 19:06:16 -05:00
2022-07-21 08:15:53 -07:00
2022-02-11 19:06:16 -05:00
2022-10-30 13:26:32 -07:00
2021-02-23 21:50:42 -08:00
2021-02-23 21:50:42 -08:00
2021-02-23 21:50:42 -08:00
2022-10-18 17:00:46 -07:00
2022-10-30 08:57:23 -07:00
2022-08-29 23:25:01 -04:00
2022-10-30 08:57:23 -07:00
2022-05-31 11:51:13 -07:00
2022-02-10 18:28:08 -08:00
2022-02-10 12:17:07 -08:00
2022-07-12 18:33:42 -07:00
2022-07-12 18:33:42 -07:00
2022-07-12 18:33:42 -07:00
2022-07-12 18:33:42 -07:00
2022-02-10 12:17:07 -08:00
2022-02-10 12:17:07 -08:00
2022-10-30 08:57:23 -07:00
2022-02-14 11:36:22 -08:00
2022-02-11 19:06:16 -05:00
2022-07-06 16:35:12 -04:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-08-07 15:43:25 -07:00
2022-04-15 10:17:34 -07:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-11-18 10:08:11 -08:00
2022-11-18 10:08:11 -08:00
2022-02-10 12:17:07 -08:00
2022-02-11 19:06:16 -05:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-05-17 16:35:43 -07:00
2022-05-17 16:35:43 -07:00
2022-10-09 21:57:51 -07:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-10-07 12:24:49 -07:00
2022-10-07 12:24:49 -07:00
2021-07-02 16:51:24 -07:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-02-14 19:00:40 -08:00
2022-03-18 11:08:20 -07:00
2022-03-18 11:08:20 -07:00
2022-10-30 13:26:32 -07:00
2022-10-22 16:52:35 -07:00
2021-04-19 10:54:37 -07:00
2022-02-14 19:00:40 -08:00
2022-02-14 11:36:22 -08:00
2022-02-10 18:28:08 -08:00
2022-06-06 12:15:45 -04:00
2022-02-10 18:28:08 -08:00
2022-05-16 13:51:01 -07:00
2022-05-16 13:51:01 -07:00
2022-08-01 11:31:31 -07:00
2022-02-25 13:25:23 -08:00
2021-09-24 12:08:22 -07:00
2022-02-10 18:28:08 -08:00
2022-07-21 06:38:21 -07:00
2022-07-21 06:38:21 -07:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-10-18 16:54:16 -07:00
2022-10-18 16:54:16 -07:00
2022-10-18 16:54:16 -07:00
2022-10-18 16:54:16 -07:00
2022-10-18 16:54:16 -07:00
2022-10-30 13:24:41 -07:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-02-10 18:28:08 -08:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-07-12 18:33:42 -07:00
2022-11-18 10:08:11 -08:00
2022-02-10 12:17:07 -08:00
2022-11-18 10:08:11 -08:00
2022-02-14 14:36:08 -08:00
2022-02-14 14:36:08 -08:00
2022-10-30 08:57:23 -07:00
2022-10-30 08:57:23 -07:00
2022-02-14 11:36:22 -08:00
2022-02-10 18:28:08 -08:00
2022-07-21 06:40:34 -07:00
2022-02-10 18:28:08 -08:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-05-02 12:41:48 -07:00
2022-07-09 21:47:49 -07:00
2022-05-28 16:40:57 -07:00
2022-05-28 16:40:57 -07:00
2022-02-14 14:36:08 -08:00
2022-02-10 18:28:08 -08:00
2022-10-18 16:54:16 -07:00
2022-10-18 16:54:16 -07:00
2022-05-26 11:07:40 -04:00
2022-04-14 10:53:16 -04:00
2022-05-26 11:07:40 -04:00
2022-02-10 18:28:08 -08:00
2022-02-10 12:17:07 -08:00
2022-02-11 19:06:16 -05:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-05-02 12:39:36 -07:00
2022-05-02 12:39:36 -07:00
2022-10-29 11:12:24 -04:00
2022-10-29 11:12:24 -04:00
2022-10-21 18:04:01 -04:00
2022-10-21 18:04:01 -04:00
2022-08-07 15:43:25 -07:00
2022-02-14 14:36:08 -08:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-08-07 15:43:25 -07:00
2022-05-05 16:12:58 -07:00
2022-08-01 11:31:31 -07:00
2022-02-10 18:28:08 -08:00
2022-02-10 12:17:07 -08:00
2022-02-10 18:28:08 -08:00
2022-10-09 21:58:27 -07:00
2022-10-09 21:58:27 -07:00
2022-07-21 06:38:21 -07:00
2022-07-21 06:38:21 -07:00
2019-06-11 23:28:58 +02:00
2022-02-10 18:28:08 -08:00
2022-07-21 06:53:22 -07:00
2022-02-11 19:06:16 -05:00
2021-07-04 19:58:35 -04:00
2021-01-31 17:29:09 -05:00