language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 12:14:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
3315 commits 42 branches 95 tags 21 MiB
Commit graph

380 commits

Author SHA1 Message Date
Shunsuke Shibayama
712d4e2b73 feat: bidi for containers 2023-09-05 19:38:33 +09:00
Shunsuke Shibayama
75b5b68831 feat: introduce bidirectional type checking 2023-09-05 16:44:38 +09:00
Shunsuke Shibayama
5f8d744e47 chore: union/intersection subtyping 2023-09-05 09:45:15 +09:00
Shunsuke Shibayama
d6d278f99f chore(els): improve workspace symbol 2023-09-03 16:24:39 +09:00
Shunsuke Shibayama
d8835fd169 fix: eliminate unwraps 2023-09-03 03:36:17 +09:00
Shunsuke Shibayama
0c89ca99cd chore: impl TryFrom<Expr> for $Variant 2023-09-02 00:55:51 +09:00
Shunsuke Shibayama
74bca70017 feat: add Array.update_nth! 2023-08-28 15:33:58 +09:00
Shunsuke Shibayama
06c14c35e5 chore: add Token::col_end 2023-08-27 16:49:01 +09:00
Shunsuke Shibayama
b5ee614c53 Update eval.rs 2023-08-26 22:28:52 +09:00
Shunsuke Shibayama
653993f637 fix: const record member definition 2023-08-26 16:44:00 +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
3724a74649 fix: undo leak bug & sub-unification bugs 2023-08-22 21:45:25 +09:00
Shunsuke Shibayama
97afccb94a fix: predicate instantiation bug 2023-08-22 14:13:06 +09:00
Shunsuke Shibayama
89f9c428b1 fix: assert casting bug 2023-08-22 11:45:07 +09:00
Shunsuke Shibayama
f2ad45878a feat: add Hash trait 2023-08-20 17:33:42 +09:00
Shunsuke Shibayama
a0ce142f7b chore: add record examples 2023-08-20 10:58:33 +09:00
Shunsuke Shibayama
5e71bd7fd0 feat: add Record.as_dict() 2023-08-20 02:02:53 +09:00
Shunsuke Shibayama
2966497ad6 feat: add Str methods 2023-08-20 00:07:08 +09:00
Shunsuke Shibayama
6ce41ef8bd fix: record type subtyping 2023-08-19 23:30:34 +09:00
Shunsuke Shibayama
5affa5065f fix: dynamic type checking bugs 2023-08-19 16:34:07 +09:00
Shunsuke Shibayama
f1c44175f7 fix: eliminate todo!s 2023-08-18 13:03:38 +09:00
Shunsuke Shibayama
2e8810f10d fix: occur check bug 2023-08-18 11:57:54 +09:00
Shunsuke Shibayama
5ac0012255 Merge branch 'main' into named_tuple 2023-08-18 02:12:37 +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
927de74eee chore: add Self substitution 2023-08-17 19:25:17 +09:00
Shunsuke Shibayama
8323dd4094 Merge branch 'main' into named_tuple 2023-08-17 16:53:38 +09:00
Shunsuke Shibayama
ed245f6c08 fix: self typing bug 2023-08-17 16:52:50 +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
efbad81475 feat(els): support inlay hint resolve 2023-08-16 19:06:37 +09:00
Shunsuke Shibayama
83beaea214 fix: type substitution bugs 2023-08-15 13:55:21 +09:00
Shunsuke Shibayama
28d173758f chore: add TyParam::DataClass 2023-08-15 01:23:53 +09:00
Shunsuke Shibayama
e61c0c485e fix: discarded variable bug 2023-08-14 21:45:40 +09:00
Shunsuke Shibayama
5f6d530602 fix: type substitution bug 2023-08-13 13:44:52 +09:00
Shunsuke Shibayama
974882490c fix: generalization bug 2023-08-13 01:42:23 +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
4f93c393c0 fix: trait registering bugs 2023-08-12 23:31:44 +09:00
Shunsuke Shibayama
3c88aee6be
Merge pull request #447 from erg-lang/shape 
Enhance compile-time verification capabilities
 2023-08-10 08:11:40 +09:00
Shunsuke Shibayama
91d0ac3545 feat: add Array.get 2023-08-09 23:51:52 +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
b7ca9a16f3 refactor: Type::update_constraint 2023-08-07 01:08:59 +09:00
Shunsuke Shibayama
f4e1d494a4 fix: array type inferring 2023-08-06 22:51:13 +09:00
Shunsuke Shibayama
142db9b697 refactor: link -> destructive_link 2023-08-06 20:13:45 +09:00