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

64 commits

Author SHA1 Message Date
Shunsuke Shibayama
a79f0652ab Update version (v0.5.1) 2022-09-23 00:23:38 +09:00
Shunsuke Shibayama
b56236a3b5 Update version (v0.5.0) 2022-09-22 14:54:25 +09:00
Shunsuke Shibayama
9a4a702ebe Fixed to allow types to be uniquely determined between modules 2022-09-22 13:23:43 +09:00
Shunsuke Shibayama
6f3f00a369 Fixed to register <builtins> to mod_cache 2022-09-22 10:37:39 +09:00
Shunsuke Shibayama
f815a7df7b Update lib.rs 2022-09-21 23:24:02 +09:00
Shunsuke Shibayama
8c50c6b423 Fix some visibility bugs 2022-09-21 21:28:37 +09:00
Shunsuke Shibayama
9b0d66a63a Add "check" mode 
Input::File(String) -> Input::file(PathBuf)
 2022-09-21 14:01:20 +09:00
Shunsuke Shibayama
671fbee518 merge from trait 2022-09-21 01:17:11 +09:00
Shunsuke Shibayama
f12c2ba723 Add SharedModuleCache 
Rename: RcCell -> Shared
 2022-09-20 11:51:18 +09:00
Shunsuke Shibayama
54fa23caab Update version (v0.5.0-beta.0) 2022-09-19 00:59:50 +09:00
Shunsuke Shibayama
aa527dcbc8 WIP: impl Trait 2022-09-17 01:42:49 +09:00
Shunsuke Shibayama
346d00fcd8 Impl UserConstSubr 2022-09-16 23:33:10 +09:00
Shunsuke Shibayama
8f47e1e2dc Merge branch 'main' into trait 2022-09-16 10:56:31 +09:00
Shunsuke Shibayama
19428a417f Update version (v0.4.7) 2022-09-15 19:20:53 +09:00
Shunsuke Shibayama
bc67677ad6 Add Trait, Subsume 2022-09-15 11:37:12 +09:00
Shunsuke Shibayama
6593bf9e2e Readable refinement types 2022-09-14 20:20:56 +09:00
Shunsuke Shibayama
581d2c84aa Update version (v0.4.6) 2022-09-14 16:23:29 +09:00
Shunsuke Shibayama
651ffc8e7c Update version (v0.4.5) 2022-09-14 12:47:37 +09:00
Shunsuke Shibayama
aece619e69 Update version (v0.4.3) 2022-09-14 12:16:49 +09:00
Shunsuke Shibayama
fe1b0fab70 Add AtomicStr 2022-09-14 12:11:06 +09:00
Shunsuke Shibayama
fb36c0d633 Update version (v0.4.2) 2022-09-14 11:21:54 +09:00
Shunsuke Shibayama
bc6eb37e39 Improve: show candidates for unification of projection-types 2022-09-13 15:34:27 +09:00
Shunsuke Shibayama
87a7a3afdf WIP: Fix unifying algorithm 
Delete `unify` (only use `sub_unify`)
 2022-09-13 12:55:16 +09:00
Shunsuke Shibayama
605c2fc07e WIP: Fix type inferring bugs 2022-09-13 02:38:14 +09:00
Shunsuke Shibayama
fad62f6fa3 Update value.rs 2022-09-11 23:02:58 +09:00
Shunsuke Shibayama
64d57641c9 Update version (v0.4.1) 2022-09-11 10:31:33 +09:00
Shunsuke Shibayama
970b88f00e Update version (v0.4.0) 2022-09-11 01:13:58 +09:00
Shunsuke Shibayama
1947f7518a Follow the latest changes and correct warnings 2022-09-10 21:33:13 +09:00
Yuna Tomida
d956c3f61d
Follow clippy warnings 2022-09-10 17:32:25 +09:00
Shunsuke Shibayama
c5f2d816af Impl const accessing attributes 2022-09-10 16:32:03 +09:00
Shunsuke Shibayama
892ab6df2f Implement inheritance check 2022-09-09 15:34:34 +09:00
Shunsuke Shibayama
87b55c6c81 Update version (v0.4.0-beta.1) 2022-09-09 14:21:48 +09:00
Shunsuke Shibayama
e6f97dfa77 Update version (v0.4.0-beta.0) 2022-09-08 14:06:14 +09:00
Shunsuke Shibayama
60b7cce52e Fix bugs related to Ref/RefMut 2022-09-08 13:47:49 +09:00
Shunsuke Shibayama
5029d71cbe Impl: auto generating of new 2022-09-07 14:48:02 +09:00
Shunsuke Shibayama
be8c0978f0 Add ClassType object 2022-09-06 01:29:56 +09:00
Shunsuke Shibayama
7e08f0b0c6 Fix type checker bugs 2022-09-05 23:46:31 +09:00
Shunsuke Shibayama
4a8572a9fe Fix type inference imcompleteness 
Add intersection type inference
 2022-09-05 21:55:16 +09:00
Shunsuke Shibayama
d5f2b5f450 Add register_gen_* 
`register_*` renamed `register_const_*`
 2022-09-05 14:24:30 +09:00
Shunsuke Shibayama
fb0d2f5737 Refactor 2022-09-05 11:11:57 +09:00
Shunsuke Shibayama
2320ff0360 Refactor 2022-09-05 10:11:03 +09:00
Shunsuke Shibayama
e860da2a15 WIP: impl type checker 2022-09-05 01:13:14 +09:00
Shunsuke Shibayama
cf0858ddde Add TypeObj 2022-09-04 00:46:15 +09:00
Shunsuke Shibayama
174b37d60c Impl Display for ConstSubr 2022-09-03 23:39:29 +09:00
Shunsuke Shibayama
f4cb9f67a5 Fix a refinement type bug 2022-09-03 22:38:03 +09:00
Shunsuke Shibayama
22cb113fcd Unify Type::Class/Trait 2022-09-03 22:22:49 +09:00
Shunsuke Shibayama
094eb499fb Fix refinement inference bugs 2022-09-03 15:52:55 +09:00
Shunsuke Shibayama
c4bff5d54a Add some const funcs & Remove Evaluator 2022-09-03 01:45:00 +09:00
Shunsuke Shibayama
0844fb2f7a Change Parser's parsing algorithm 
The LHS value is first parsed as the RHS value, and when `=` or `->` comes in, it is converted as the LHS value.
 2022-09-02 01:19:43 +09:00
Shunsuke Shibayama
a8e4658c67 Add importlib, io, socket, sys, time 2022-08-31 14:19:25 +09:00