Commit graph

75 commits

Author SHA1 Message Date
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
Renamed from compiler/erg_compiler/context/instantiate.rs (Browse further)