Commit graph

182 commits

Author SHA1 Message Date
Shunsuke Shibayama
c9438f215a fix: compile-time eval bug 2024-02-23 23:03:34 +09:00
Shunsuke Shibayama
2eaec5a40e feat: resolve pkgs module path 2024-02-14 01:30:48 +09:00
Shunsuke Shibayama
6b681c5fd1 feat: add initializer, destructor syntax 2024-02-10 18:49:04 +09:00
Shunsuke Shibayama
d232acc3e4 test: add pytorch test 2024-02-09 14:38:57 +09:00
Shunsuke Shibayama
36fcc8cb79 fix: ownership bug 2024-02-07 19:50:50 +09:00
GreasySlug
edd193a119 refactor: wrap and handle the py ver retrieval 2024-02-04 23:51:45 +09:00
Shunsuke Shibayama
83cb2253e9 Update test.rs 2024-01-31 00:53:06 +09:00
Shunsuke Shibayama
284146843b fix: refinement type bug 2024-01-30 12:18:27 +09:00
Shunsuke Shibayama
7ed39e3281 fix: dependent refinement type bug 2024-01-30 01:06:03 +09:00
Shunsuke Shibayama
5843135df6 test: add assert casting test suites 2024-01-06 15:28:32 +09:00
Shunsuke Shibayama
951c85a344 feat: add exception module 2024-01-04 21:41:24 +09:00
Shunsuke Shibayama
80872fc50e fix: keyword argument bugs 2023-12-29 17:00:11 +09:00
Shunsuke Shibayama
cf726fe4a8 fix: array type bug 2023-12-29 12:09:59 +09:00
Shunsuke Shibayama
a2d1809cee fix: cyclic reference modules bugs 2023-12-28 14:59:14 +09:00
Shunsuke Shibayama
529d3892bf fix: container type inference bugs 2023-12-11 00:15:13 +09:00
Shunsuke Shibayama
21025096a3 fix: type-var instantiation bugs 2023-11-25 02:56:25 +09:00
Shunsuke Shibayama
30a6f84e5f feat: add erg_compiler/erg_parser type decls 2023-11-18 16:04:51 +09:00
Shunsuke Shibayama
663a0824ad feat: var-kwargs codegen 2023-11-14 02:17:47 +09:00
Shunsuke Shibayama
6d12e09b29 test: add external test 2023-11-12 12:28:57 +09:00
Shunsuke Shibayama
678c02faf9 feat: support refinement class 2023-10-31 02:23:50 +09:00
Shunsuke Shibayama
c1f6e4b900 fix: type coercion bug 2023-10-20 23:39:01 +09:00
Shunsuke Shibayama
4012b323d5 fix: closure codegen bug 2023-10-19 18:10:03 +09:00
Shunsuke Shibayama
0bfd4044b5 fix: infer order bug 2023-10-19 01:47:20 +09:00
Shunsuke Shibayama
06898bd793 chore: improve type inference system 2023-10-18 16:46:06 +09:00
Shunsuke Shibayama
e6cf329f97 fix: type alias bug 2023-10-16 18:34:19 +09:00
Shunsuke Shibayama
2d2c5dcdd7 fix: fast-value codegen bug 2023-10-15 23:29:49 +09:00
Shunsuke Shibayama
08770e84fc feat: add unsound module 2023-10-15 11:51:27 +09:00
Shunsuke Shibayama
5365c87cb4 fix: relax side effect check 2023-10-14 11:06:36 +09:00
Shunsuke Shibayama
e6b56d4469 fix: match type check 2023-10-12 11:30:33 +09:00
Shunsuke Shibayama
3f4520d1d3 fix: ignore too many args error 2023-10-11 22:29:24 +09:00
Shunsuke Shibayama
f676f22d6c fix: planner bug 2023-10-08 02:15:25 +09:00
Shunsuke Shibayama
24da5cdfbd fix: [x; _] bug 2023-10-02 22:50:17 +09:00
Shunsuke Shibayama
c985fcb4d8 chore: instantiate_param_ty to be Failable 2023-09-30 11:13:37 +09:00
Shunsuke Shibayama
f561eebc2f chore: improve pattern match 2023-09-27 11:59:20 +09:00
Shunsuke Shibayama
f0fdcaca9f Update test.rs 2023-09-13 11:44:20 +09:00
Shunsuke Shibayama
f157673c59 fix: dynamic container type check 2023-09-13 00:37:36 +09:00
Shunsuke Shibayama
3fd66f1a32 feat: (partial) comprehension support 2023-09-11 02:24:03 +09:00
Shunsuke Shibayama
abb025afd4 fix: symop codegen bug 2023-09-09 17:29:19 +09:00
Shunsuke Shibayama
7729b73809 fix: dict iterators bug 2023-09-06 00:56:07 +09:00
Shunsuke Shibayama
8a1911cece fix: method inferring 2023-09-05 21:54:08 +09:00
Shunsuke Shibayama
0f430199ab test: add error location test 2023-09-05 17:03:41 +09:00
Shunsuke Shibayama
0cf2522ac3 fix: const quantified lambda 2023-08-26 23:44:26 +09:00
Shunsuke Shibayama
f3b188e095 feat: support recursive class definition 2023-08-25 21:02:47 +09:00
Shunsuke Shibayama
b9c4357038 fix: refinement subtyping 2023-08-23 12:12:55 +09:00
Shunsuke Shibayama
f2ad45878a feat: add Hash trait 2023-08-20 17:33:42 +09:00
Shunsuke Shibayama
5affa5065f fix: dynamic type checking bugs 2023-08-19 16:34:07 +09:00
Shunsuke Shibayama
5ef1288113 fix: recursive type bug 2023-08-17 22:44:54 +09:00
Shunsuke Shibayama
efcf23b04d fix: iterator bugs 2023-08-17 20:01:05 +09:00
Shunsuke Shibayama
2e9fb48f2e fix: in operator
* remove `In` trait, `__in__`, `__notin__` function
* desugar to `__contains__`
* impl Collection for Array, Set, Tuple
2023-08-13 01:01:06 +09:00
Shunsuke Shibayama
9308a910ca fix: #442 2023-07-24 09:32:31 +09:00