Commit graph

145 commits

Author SHA1 Message Date
Shunsuke Shibayama
a6336fa896 feat: support inherited refinement types 2023-10-31 12:24:41 +09:00
Shunsuke Shibayama
678c02faf9 feat: support refinement class 2023-10-31 02:23:50 +09:00
Shunsuke Shibayama
6058339e3f chore: add TypeContext, MethodContext 2023-10-29 17:33:21 +09:00
Shunsuke Shibayama
37f026bb0c chore: record type union 2023-10-21 14:19:50 +09:00
Shunsuke Shibayama
f1d71e0dab feat: add [x; _] literal 2023-10-02 20:49:21 +09:00
Shunsuke Shibayama
6f036dca5c fix: minor bugs 2023-09-10 00:40:52 +09:00
Shunsuke Shibayama
5f8d744e47 chore: union/intersection subtyping 2023-09-05 09:45:15 +09:00
Shunsuke Shibayama
f3b188e095 feat: support recursive class definition 2023-08-25 21:02:47 +09:00
Shunsuke Shibayama
46c7982335 chore: eliminate todo!s 2023-08-24 23:54:31 +09:00
Shunsuke Shibayama
936b6e2f95 chore: eliminate clippy warns 2023-08-24 23:38:27 +09:00
Shunsuke Shibayama
75081ac3aa fix: type-parameter unification 2023-08-23 18:02:04 +09:00
Shunsuke Shibayama
b9c4357038 fix: refinement subtyping 2023-08-23 12:12:55 +09:00
Shunsuke Shibayama
dc7e0a341d feat: enhance assert casting 2023-08-23 01:52:16 +09:00
Shunsuke Shibayama
6ce41ef8bd fix: record type subtyping 2023-08-19 23:30:34 +09:00
Shunsuke Shibayama
927de74eee chore: add Self substitution 2023-08-17 19:25:17 +09:00
Shunsuke Shibayama
9454896d5a WIP 2023-08-17 16:43:26 +09:00
Shunsuke Shibayama
ea0089f7df feat: add Type::NamedTuple 2023-08-17 02:00:44 +09:00
Shunsuke Shibayama
83beaea214 fix: type substitution bugs 2023-08-15 13:55:21 +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
187259a008 fix: trait bound bug 2023-08-07 22:43:03 +09:00
Shunsuke Shibayama
d46ce0ff0c chore: add Substituter 2023-08-07 21:25:17 +09:00
Shunsuke Shibayama
f4e1d494a4 fix: array type inferring 2023-08-06 22:51:13 +09:00
Shunsuke Shibayama
b5ff509b5d fix: sub-unification bug 2023-08-04 20:05:18 +09:00
Shunsuke Shibayama
b45041e926 fix: refinement subtyping bug 2023-08-04 16:12:57 +09:00
Shunsuke Shibayama
6c3536cc31 fix: declaration bugs 2023-07-31 11:08:53 +09:00
Shunsuke Shibayama
05cc170f3f fix: undo leak 2023-07-30 16:51:52 +09:00
Shunsuke Shibayama
1ea2c74aaa chore: add TyParam::proj_call 2023-07-30 13:05:39 +09:00
Shunsuke Shibayama
9e6f1ffa9a fix: refinement types bug 2023-07-03 19:51:33 +09:00
Shunsuke Shibayama
c181fc4ff6 fix: dict subtyping bug 2023-06-26 10:29:20 +09:00
Shunsuke Shibayama
28459166bf chore: add do_avoiding_recursion 2023-06-14 23:41:56 +09:00
Shunsuke Shibayama
0840d9bf60 fix: subtyping bug 2023-06-10 11:16:30 +09:00
Shunsuke Shibayama
c8ea6f6c9b fix: nested polymorphic type check bug 2023-06-06 00:04:18 +09:00
Shunsuke Shibayama
1d0657c544 fix: overload subtyping 2023-06-01 19:36:25 +09:00
Shunsuke Shibayama
7049faf144 fix: eliminate unsafe type-var updating 2023-05-27 23:09:15 +09:00
Shunsuke Shibayama
379caacce9 fix: subtyping bugs 2023-05-20 21:43:53 +09:00
Shunsuke Shibayama
06001bfc13 feat: refinement type specification 2023-05-20 16:40:26 +09:00
Shunsuke Shibayama
9cb98b8af0 fix: polymorphic subtyping bug 2023-05-18 22:48:31 +09:00
Shunsuke Shibayama
f39836abb0 fix: bugs generating unintended circular references 2023-05-18 18:38:44 +09:00
Shunsuke Shibayama
470c06675f fix: subtyping bugs 2023-05-10 17:21:05 +09:00
Shunsuke Shibayama
8adf6bd50b Update compare.rs 2023-05-10 15:34:39 +09:00
Shunsuke Shibayama
70510f6ae1 fix: a subtyping bug 2023-05-09 23:55:23 +09:00
Shunsuke Shibayama
293f301a4b feat: add traits
* Sized
* Iterator
* Container
* Collection
* Indexable
* Mapping
2023-05-08 12:11:01 +09:00
Hanaasagi
ffb5f0e688 chore: fix all typo 2023-05-07 03:43:53 +09:00
Shunsuke Shibayama
36885e34c3 fix: boundary checking bugs 2023-05-05 00:52:31 +09:00
Shunsuke Shibayama
d573d07f20 chore: enhance the compile-time evaluator 2023-05-04 22:12:58 +09:00
Shunsuke Shibayama
0603998bfc chore: add Context::convert_value_into_type 2023-05-03 15:03:28 +09:00
Shunsuke Shibayama
68a233e6c3 fix: type-parameter instantiation bugs
add `itertools` module type definition
2023-04-29 22:38:36 +09:00
Shunsuke Shibayama
a96b0102cd fix: dict subtyping bugs 2023-04-29 11:38:25 +09:00
Shunsuke Shibayama
245d9eee84 fix: dict typing bugs 2023-04-27 15:51:56 +09:00
Shunsuke Shibayama
1e72cf20f1 fix: casting bugs 2023-04-27 13:58:15 +09:00