Commit graph

10 commits

Author SHA1 Message Date
Shunsuke Shibayama
0ffa23affd fix: trait parameter bug 2024-04-28 18:53:30 +09:00
Shunsuke Shibayama
5c6ea316f5 chore: remove unnecessary params 2023-03-03 10:01:05 +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
2dae0f4be9 Update trait.er 2023-02-12 22:05:07 +09:00
Shunsuke Shibayama
96c5527134 Improve: inferring the overall type from the method 2022-09-30 01:22:22 +09:00
Shunsuke Shibayama
67e4607c70 Impl trait code generating 2022-09-19 00:34:39 +09:00
Shunsuke Shibayama
64497663cd Update trait.er 2022-09-18 00:45:34 +09:00
Shunsuke Shibayama
abb6bcd320 WIP: trait implementation 2022-09-17 20:39:13 +09:00
Shunsuke Shibayama
91b7ba3c05 Add TypeAppArgs 2022-09-16 15:27:19 +09:00
Shunsuke Shibayama
1589f39a57 Create trait.er 2022-09-15 15:00:39 +09:00