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

171 commits

Author SHA1 Message Date
Shunsuke Shibayama
2c8190f68c Merge branch 'main' into optimize-inference 2022-10-28 18:04:10 +09:00
Shunsuke Shibayama
968d3b5d2c Fix trait implementation check 2022-10-28 18:03:35 +09:00
Shunsuke Shibayama
61037c998c print the number if the argument type is wrong 2022-10-28 00:23:47 +09:00
Shunsuke Shibayama
9d022ba4e1 Optimize type inferer 2022-10-27 10:12:08 +09:00
Shunsuke Shibayama
308f6a77dd Optimize type inferer 2022-10-27 10:10:51 +09:00
Shunsuke Shibayama
d56549f528 Change Eq(R) to Eq 2022-10-25 01:53:52 +09:00
Shunsuke Shibayama
12711ba08a Add semver.er 2022-10-23 21:13:45 +09:00
Shunsuke Shibayama
329274e2cd Implement match! 2022-10-23 01:21:18 +09:00
Shunsuke Shibayama
47bedf67d8 Implement type spec of projection and enum types 2022-10-22 14:01:48 +09:00
Shunsuke Shibayama
03a36f48a3 Add raw identifier 2022-10-20 18:53:35 +09:00
Shunsuke Shibayama
09b5f00305 Fix name resolving bug 2022-10-20 07:43:21 +09:00
Shunsuke Shibayama
cb4c2c7bbf Implement subtype ascription 2022-10-19 19:04:50 +09:00
Shunsuke Shibayama
87170f9bb3 Implement module compatibility checking 2022-10-19 17:21:37 +09:00
Shunsuke Shibayama
e0d6b93abd Remove rust-defined python modules 2022-10-19 01:50:14 +09:00
Shunsuke Shibayama
a0714b218c Implement helper methods for AST/HIR construction 2022-10-18 18:30:09 +09:00
Shunsuke Shibayama
d0456ec1ee Implement default parameter 2022-10-18 10:27:57 +09:00
Shunsuke Shibayama
46b87e1ca3 Fix: variable to have VarInfo instead of Type 2022-10-18 00:25:47 +09:00
Shunsuke Shibayama
4e2b36bb96 Fix projection type inference bug 2022-10-15 11:15:16 +09:00
Cai Bingjun
198117413f trifle 2022-10-14 21:01:52 +08:00
Shunsuke Shibayama
7776297de2 Fix inferring bug 2022-10-14 09:46:42 +09:00
Shunsuke Shibayama
d0fa924ea8 Fix visibility checking 2022-10-14 02:41:17 +09:00
Shunsuke Shibayama
d3d250580b WIP: trait implementation checking 2022-10-14 02:25:31 +09:00
Shunsuke Shibayama
145152575c Change grow's type 2022-10-14 01:07:14 +09:00
Shunsuke Shibayama
72e8242843 Fix bugs 2022-10-13 18:27:13 +09:00
Shunsuke Shibayama
aa2b45bf86 Fix method call bug 2022-10-13 00:56:43 +09:00
Shunsuke Shibayama
08e501f103 Fix sub_unify with class&trait 2022-10-12 18:32:24 +09:00
Shunsuke Shibayama
378dc1e6fc Delete ArrayType, etc. 2022-10-12 16:14:06 +09:00
Shunsuke Shibayama
6c4e1dca35 Downgrade erg_type from crate to module 
This is to allow `ConstSubr` to have a `Context`
 2022-10-12 02:28:25 +09:00
Shunsuke Shibayama
9c3acc8e19 Implement ProjMethod 2022-10-11 16:08:49 +09:00
Shunsuke Shibayama
decb0fd077 Implement Dict 2022-10-10 19:29:11 +09:00
Shunsuke Shibayama
56779ab06e WIP 2022-10-10 18:39:17 +09:00
Shunsuke Shibayama
c784ba261e Merge branch 'main' into dict 2022-10-10 13:57:08 +09:00
Shunsuke Shibayama
627f64e081 Fix: handling of literal parsing failures 2022-10-10 11:51:26 +09:00
Shunsuke Shibayama
87bfe836ec Fix: recognize [Nat; 3] and others as types. 2022-10-09 23:40:37 +09:00
Shunsuke Shibayama
de1180387c Implement assert casting 2022-10-09 00:14:50 +09:00
Shunsuke Shibayama
3237212aa0 WIP 2022-10-08 13:32:26 +09:00
Shunsuke Shibayama
b8b6acdf3a Rename: Type::Class -> Type::ClassType 2022-10-08 10:38:46 +09:00
Shunsuke Shibayama
ebb01ccb7e change the return type of get_nominal_ctx 2022-10-07 21:55:09 +09:00
Shunsuke Shibayama
4fd5f30037 WIP 2022-10-07 16:47:33 +09:00
Shunsuke Shibayama
3112fb31a9 Add Eq check 2022-10-06 22:58:44 +09:00
GreasySlug
b76b4cce4e Update: translate to zh_ch and zh_tw 2022-10-06 17:10:52 +09:00
Shunsuke Shibayama
31ba27908d Update lower.rs 2022-10-06 12:07:16 +09:00
Shunsuke Shibayama
6b14add8f8 Merge branch 'main' into pr/191 2022-10-06 11:57:49 +09:00
Shunsuke Shibayama
bd4073ec29 Add Context::get_receiver_ctx 2022-10-06 10:19:01 +09:00
GreasySlug
d288a3a226 Clean: Avoid using clone and warning of duplicated 2022-10-06 08:48:50 +09:00
Shunsuke Shibayama
85c6057d7c Fix subtyping bugs 2022-10-05 11:53:29 +09:00
GreasySlug
ff9c10cfee Update: Change Vec to Set 2022-10-05 09:12:45 +09:00
Shunsuke Shibayama
4d7181f2f0 Add trait implementation check 2022-10-05 02:10:27 +09:00
GreasySlug
20cc00d173 Add: impl set with len and register builtin ctx 2022-10-04 08:32:57 +09:00
Shunsuke Shibayama
6d903d2575 Add procedure assignment check 2022-10-03 23:09:07 +09:00