|
initialize
|
fix: incorrect typing & method resolution
|
2024-09-26 11:34:15 +09:00 |
|
compare.rs
|
perf: don't recheck in sub_unify
|
2024-09-27 11:01:55 +09:00 |
|
eval.rs
|
fix: recursive type bug
|
2024-09-26 16:45:21 +09:00 |
|
generalize.rs
|
fix: recursive type bug
|
2024-09-26 16:45:21 +09:00 |
|
hint.rs
|
feat: add RMul, RDiv
|
2024-09-20 20:36:55 +09:00 |
|
inquire.rs
|
perf: don't recheck in sub_unify
|
2024-09-27 11:01:55 +09:00 |
|
instantiate.rs
|
fix: type-instantiation bug
|
2024-09-26 13:03:30 +09:00 |
|
instantiate_spec.rs
|
fix: function subtyping bug
|
2024-09-15 12:48:33 +09:00 |
|
mod.rs
|
fix: traits can have impls
|
2024-09-21 22:42:56 +09:00 |
|
register.rs
|
fix: type decl check does not performed
|
2024-09-22 01:25:31 +09:00 |
|
test.rs
|
fix: forward-referenced method inference bug
|
2023-10-29 21:24:40 +09:00 |
|
unify.rs
|
perf: don't recheck in sub_unify
|
2024-09-27 11:01:55 +09:00 |
