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

111 commits

Author SHA1 Message Date
Shunsuke Shibayama
f612340e80 fix: range type definition bug 2024-02-26 01:35:41 +09:00
Shunsuke Shibayama
c74513f507 fix: eliminate unwraps 2024-02-24 23:02:59 +09:00
Shunsuke Shibayama
0bedeb51ab feat: support using attributes in predicate 2024-02-24 13:23:02 +09:00
Shunsuke Shibayama
918f146d08 fix: transpiler bug 2024-02-18 17:14:41 +09:00
Shunsuke Shibayama
e236a65c21 fix: refinement type assert cast bug 2024-02-14 20:09:13 +09:00
Shunsuke Shibayama
90061f0fc1 fix: subr type with defaults instantiation bug 2024-02-07 14:48:39 +09:00
Shunsuke Shibayama
58514c5890 chore: add Subroutine & GenericCallable is now a trait 2024-02-07 13:23:09 +09:00
Shunsuke Shibayama
b8fe8fb205 fix: subtype check bug 2024-02-04 17:29:34 +09:00
Shunsuke Shibayama
9c9f8b7a0a fix: subtype relation bug 2024-02-03 19:36:27 +09:00
Shunsuke Shibayama
7ed39e3281 fix: dependent refinement type bug 2024-01-30 01:06:03 +09:00
Shunsuke Shibayama
6b5af0ffb4 chore: fix type variance bug 2024-01-28 23:12:48 +09:00
Shunsuke Shibayama
06a4a6e5fc feat: add Predicate::General{Less, Greater, Not}Equal 2024-01-28 20:24:14 +09:00
Shunsuke Shibayama
4393649ffc feat: add Predicate::{Call, GeneralEqual} 2024-01-28 18:33:00 +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
641a60bda6 feat: support and/or guard type 2023-10-31 13:47:42 +09:00
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