language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-07-24 05:26:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
3982 commits 42 branches 94 tags 21 MiB
Commit graph

134 commits

Author SHA1 Message Date
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
Shunsuke Shibayama
66cac2ccc2 fix: bugs & remove TypeCmpCache 2023-04-27 13:10:33 +09:00
Shunsuke Shibayama
b3e09f213f fix: type inference failure of as operator 
Now the `as` operator is a kind of type ascription, i.e., a special operator.
 2023-04-26 23:41:35 +09:00
Shunsuke Shibayama
20a5231fc0 Update compare.rs 2023-04-24 22:21:40 +09:00
Shunsuke Shibayama
a74309cbb3 fix: type-variable union bugs 2023-04-24 21:48:05 +09:00
Shunsuke Shibayama
3c40fc35e9 fix: #193 
and many bugs
 2023-04-22 23:43:03 +09:00
Shunsuke Shibayama
e0d8306b3e feat: add Dict.keys/values/get 2023-04-20 02:19:31 +09:00
Shunsuke Shibayama
3cc168182b feat: add typing.cast 2023-04-19 01:16:39 +09:00
Shunsuke Shibayama
839133863f feat: enhance assert casting 2023-04-16 23:32:52 +09:00
Shunsuke Shibayama
0d43299cce fix: subroutine-subtyping bugs 2023-04-14 18:32:17 +09:00
Shunsuke Shibayama
fc85265d9f fix: union types bug & multi-pattern def bug 2023-04-10 22:26:46 +09:00
Shunsuke Shibayama
7c8b8a66a1 fix: Context::union/intersection 2023-04-10 11:51:45 +09:00