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

6 commits

Author SHA1 Message Date
Shunsuke Shibayama
3724a74649 fix: undo leak bug & sub-unification bugs 2023-08-22 21:45:25 +09:00
Shunsuke Shibayama
5c5c46d960 fix: __call__ resolution bug 2023-05-06 21:37:54 +09:00
Shunsuke Shibayama
1e72cf20f1 fix: casting bugs 2023-04-27 13:58:15 +09:00
Shunsuke Shibayama
a74309cbb3 fix: type-variable union bugs 2023-04-24 21:48:05 +09:00
Shunsuke Shibayama
b1a9f7bf40 fix: eliminate panics 2023-03-06 13:52:07 +09:00
Shunsuke Shibayama
d92f5284c8 feat: add restricted visibility syntax 2023-03-05 02:19:18 +09:00