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 |
|