Commit graph

10 commits

Author SHA1 Message Date
Shunsuke Shibayama
fce88717b0 feat!: change constructor syntax: C::__new__() -> C() 2024-02-08 02:42:49 +09:00
Shunsuke Shibayama
21cb0bb4c1 feat: support symbolized operators 2023-09-09 16:45:24 +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
aa2cea60dd fix: quantified subroutine subtyping bugs 2023-02-22 02:40:51 +09:00
Shunsuke Shibayama
a95568ee48 WIP 2022-11-03 01:28:06 +09:00
Shunsuke Shibayama
765acceaf4 Add 3.8 mode 2022-10-30 00:40:07 +09:00
Shunsuke Shibayama
d56549f528 Change Eq(R) to Eq 2022-10-25 01:53:52 +09:00
Shunsuke Shibayama
3eb6393773 Support Python 3.8.10 2022-10-20 13:52:56 +09:00
Shunsuke Shibayama
4e2b36bb96 Fix projection type inference bug 2022-10-15 11:15:16 +09:00
Shunsuke Shibayama
0040ea4b07 Add test 2022-10-14 16:06:00 +09:00
Renamed from examples/add.er (Browse further)