64 commits

Author	SHA1	Message	Date
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)