13 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	a2d1809cee	fix: cyclic reference modules bugs	2023-12-28 14:59:14 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	0cf2522ac3	fix: const quantified lambda	2023-08-26 23:44:26 +09:00
Shunsuke Shibayama	97afccb94a	fix: predicate instantiation bug	2023-08-22 14:13:06 +09:00
Shunsuke Shibayama	df7dbcda4b	chore: let const funcs return TyParam instead of ValueObj	2023-07-30 15:02:32 +09:00
Shunsuke Shibayama	0152e368ab	feat: support Array, Str, Bytes slice	2023-07-15 12:29:07 +09:00
Shunsuke Shibayama	8a47c4bd18	chore: remove dyn	2023-07-14 19:59:28 +09:00
Shunsuke Shibayama	e3b479ebf7	feat: polymorphic type class members	2023-07-14 01:53:06 +09:00
Shunsuke Shibayama	0603998bfc	chore: add Context::convert_value_into_type	2023-05-03 15:03:28 +09:00
Shunsuke Shibayama	99d72ab4ef	fix: type-instantiation bug	2023-03-24 19:02:32 +09:00
Shunsuke Shibayama	1c8da7f049	fix: refinement types bugs	2023-03-03 13:44:05 +09:00
Shunsuke Shibayama	aaa6b40b24	feat: support Structural types for methods	2023-02-23 18:12:05 +09:00
Shunsuke Shibayama	a127564b31	Rename dir: compiler -> crates	2023-01-15 12:03:19 +09:00

Renamed from compiler/erg_compiler/ty/const_subr.rs (Browse further)