Shunsuke Shibayama
|
b40666d618
|
fix: subtyping bugs
|
2023-03-19 23:21:11 +09:00 |
|
Shunsuke Shibayama
|
814748a6be
|
fix: constraints instantiation bug
|
2023-03-08 11:06:08 +09:00 |
|
Shunsuke Shibayama
|
d92f5284c8
|
feat: add restricted visibility syntax
|
2023-03-05 02:19:18 +09:00 |
|
Shunsuke Shibayama
|
1c8da7f049
|
fix: refinement types bugs
|
2023-03-03 13:44:05 +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
|
70f2fe0234
|
fix: minor bugs
|
2023-02-26 03:40:13 +09:00 |
|
Shunsuke Shibayama
|
0f0d042020
|
fix: remove unnecessary type checkings
|
2023-02-25 17:14:38 +09:00 |
|
Shunsuke Shibayama
|
59f07f6d1d
|
fix: Structural types bugs
|
2023-02-24 13:08:18 +09:00 |
|
Shunsuke Shibayama
|
aaa259d6c0
|
feat: add ConstTypeAsc
|
2023-02-23 20:17:59 +09:00 |
|
Shunsuke Shibayama
|
aaa6b40b24
|
feat: support Structural types for methods
|
2023-02-23 18:12:05 +09:00 |
|
Shunsuke Shibayama
|
2c3a27ed4b
|
fix: Structural types instantiation/generalization
|
2023-02-23 02:35:05 +09:00 |
|
Shunsuke Shibayama
|
c9dda183ab
|
feat: implement Structural types
|
2023-02-23 01:37:54 +09:00 |
|
Shunsuke Shibayama
|
5c4c43ab2f
|
fix: failure of the type inference of another module
|
2023-02-22 11:55:02 +09:00 |
|
Shunsuke Shibayama
|
aa2cea60dd
|
fix: quantified subroutine subtyping bugs
|
2023-02-22 02:40:51 +09:00 |
|
Shunsuke Shibayama
|
4dcca2b06d
|
fix(typechecker): type generalization & dereference bugs
* `Context::subtype_of` now has `allow_cast` param. If this is `false`, cast-aware comparisons are not performed.
|
2023-02-21 17:04:52 +09:00 |
|
Shunsuke Shibayama
|
3fea50f8bc
|
fix: type generalization bugs
|
2023-02-21 11:20:15 +09:00 |
|
Shunsuke Shibayama
|
51d84fff9e
|
fix: heterogenous array specifying
|
2023-02-20 00:08:35 +09:00 |
|
Shunsuke Shibayama
|
855d47f02c
|
fix(typechecker): quantified types unifying
|
2023-02-19 02:00:54 +09:00 |
|
Shunsuke Shibayama
|
5b8715af27
|
Update instantiate.rs
|
2023-02-18 15:42:59 +09:00 |
|
Shunsuke Shibayama
|
3aeb63f51b
|
feat: add Array.d.er /Bool.d.er /Nat.d.er
|
2023-02-18 00:24:25 +09:00 |
|
Shunsuke Shibayama
|
5d90029f09
|
perf: delaying execution of .loc()
|
2023-02-15 01:08:49 +09:00 |
|
Shunsuke Shibayama
|
4bb81eccad
|
fix(typechecker): ref/ref! subtyping bug
|
2023-02-13 02:12:05 +09:00 |
|
Shunsuke Shibayama
|
23a7e2caf3
|
Add user-defined var-params function
|
2023-01-26 01:20:35 +09:00 |
|
Shunsuke Shibayama
|
a127564b31
|
Rename dir: compiler -> crates
|
2023-01-15 12:03:19 +09:00 |
|