language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
4266 commits 42 branches 94 tags 21 MiB
Commit graph

8 commits

Author SHA1 Message Date
Shunsuke Shibayama
21582953c0 fix: complement type narrowing bug 2025-02-08 15:10:48 +09:00
Shunsuke Shibayama
fd873a1916 feat: argumen type narrowing 2024-03-17 20:57:13 +09:00
Shunsuke Shibayama
c181fc4ff6 fix: dict subtyping bug 2023-06-26 10:29:20 +09:00
Shunsuke Shibayama
839133863f feat: enhance assert casting 2023-04-16 23:32:52 +09:00
Shunsuke Shibayama
0ce0d1a073 test: update test cases 2023-03-29 21:20:28 +09:00
Shunsuke Shibayama
5876c24830 feat: isinstance narrowing 2023-03-29 11:24:53 +09:00
Shunsuke Shibayama
ccf02405d8 feat: add ==/!= narrowing 2023-03-29 01:32:29 +09:00
Shunsuke Shibayama
de1180387c Implement assert casting 2022-10-09 00:14:50 +09:00