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
70 commits 42 branches 95 tags 21 MiB
Commit graph

7 commits

Author SHA1 Message Date
Shunsuke Shibayama
e1a5b726aa Update context.rs 2022-08-14 01:17:55 +09:00
Shunsuke Shibayama
63b003aa6e Update version (v0.2.2) 2022-08-14 00:50:24 +09:00
Shunsuke Shibayama
30f6e98715 Fix polymorphic type infering bugs 
Delete: DefaultParamSignarure
Add: some convinient APIs (py, p!)

Inferences can now be made that take into account the variance of polymorphic types
 2022-08-14 00:45:55 +09:00
Shunsuke Shibayama
34e43f8350 Update effectcheck.rs 2022-08-13 22:49:00 +09:00
Shunsuke Shibayama
a3c7adb36c Fix REPL: can put normal exprs even at the top level 2022-08-13 22:48:50 +09:00
Shunsuke Shibayama
6726d93f65 Do cargo fmt 2022-08-13 07:02:07 +09:00
Shunsuke Shibayama
f9d91aa38e Organize crates 2022-08-13 06:38:12 +09:00