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

10 commits

Author SHA1 Message Date
Shunsuke Shibayama
8548ea89fe fix: type-var resolution bug 2024-01-04 19:25:43 +09:00
Shunsuke Shibayama
a97b89c056 fix!: rename to_str -> __str__ 2023-09-13 16:48:20 +09:00
Shunsuke Shibayama
8bccc6b487 fix: sub-unification bug 2023-03-17 12:53:56 +09:00
Shunsuke Shibayama
fd99524bbe fix: union/intersection types bugs 2023-03-17 10:18:23 +09:00
Shunsuke Shibayama
dd36942256 feat: implement some typevar-related syntax sugar 
* add `TypeBoundSpec::Omitted`
* add `TypeAppArgsKind`
 2023-03-01 23:35:19 +09:00
Shunsuke Shibayama
51b1f01079 Implement anonymous closure 2022-10-03 11:04:06 +09:00
Shunsuke Shibayama
e55ab8c027 Add Show trait 2022-10-03 01:02:49 +09:00
Shunsuke Shibayama
66feaea948 Update quantified.er 2022-10-02 01:47:51 +09:00
Shunsuke Shibayama
7906eff50d Fix parse.rs 2022-10-01 14:39:30 +09:00
Shunsuke Shibayama
96132b20f6 initial commit 2022-08-10 23:02:27 +09:00