93 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	ac80cbba87	chore: fill missing arms	2024-02-25 11:20:11 +09:00
Shunsuke Shibayama	5f652f3dd5	fix: sub unification bug	2024-02-16 17:50:57 +09:00
Shunsuke Shibayama	58514c5890	chore: add Subroutine & GenericCallable is now a trait	2024-02-07 13:23:09 +09:00
Shunsuke Shibayama	7ed39e3281	fix: dependent refinement type bug	2024-01-30 01:06:03 +09:00
Shunsuke Shibayama	d1fa616aea	feat: eval const call/lambda in refinement types ... rename: `Shape` -> `HasShape`	2024-01-29 18:10:26 +09:00
Shunsuke Shibayama	0f3d228997	fix: type-parameter unification bug	2024-01-29 02:09:24 +09:00
Shunsuke Shibayama	951c85a344	feat: add exception module	2024-01-04 21:41:24 +09:00
Shunsuke Shibayama	6713ffeaae	fix: forward-referenced method inference bug	2023-10-29 21:24:40 +09:00
Shunsuke Shibayama	6058339e3f	chore: add TypeContext, MethodContext	2023-10-29 17:33:21 +09:00
Shunsuke Shibayama	06898bd793	chore: improve type inference system	2023-10-18 16:46:06 +09:00
Shunsuke Shibayama	0a24c0cb77	fix: dict update! bug	2023-10-14 21:38:12 +09:00
Shunsuke Shibayama	a8c1113df7	fix: minor bugs	2023-10-14 19:39:07 +09:00
Shunsuke Shibayama	fdb7c69431	chore: avoid type var recursion	2023-10-12 16:12:10 +09:00
Shunsuke Shibayama	5e580422c3	fix: mutable array type bug	2023-10-11 21:29:53 +09:00
Shunsuke Shibayama	92bb79885a	fix: type spec bug	2023-10-08 00:07:13 +09:00
Shunsuke Shibayama	73958a3e56	fix: mutable container bug	2023-10-03 00:00:37 +09:00
Shunsuke Shibayama	162581611d	fix: relaxing occur checks	2023-10-01 11:53:29 +09:00
Shunsuke Shibayama	c985fcb4d8	chore: instantiate_param_ty to be Failable	2023-09-30 11:13:37 +09:00
Shunsuke Shibayama	75b5b68831	feat: introduce bidirectional type checking	2023-09-05 16:44:38 +09:00
Shunsuke Shibayama	5f8d744e47	chore: union/intersection subtyping	2023-09-05 09:45:15 +09:00
Shunsuke Shibayama	f3b188e095	feat: support recursive class definition	2023-08-25 21:02:47 +09:00
Shunsuke Shibayama	46c7982335	chore: eliminate todo!s	2023-08-24 23:54:31 +09:00
Shunsuke Shibayama	936b6e2f95	chore: eliminate clippy warns	2023-08-24 23:38:27 +09:00
Shunsuke Shibayama	3724a74649	fix: undo leak bug & sub-unification bugs	2023-08-22 21:45:25 +09:00
Shunsuke Shibayama	2e8810f10d	fix: occur check bug	2023-08-18 11:57:54 +09:00
Shunsuke Shibayama	5ac0012255	Merge branch 'main' into named_tuple	2023-08-18 02:12:37 +09:00
Shunsuke Shibayama	5ef1288113	fix: recursive type bug	2023-08-17 22:44:54 +09:00
Shunsuke Shibayama	ea0089f7df	feat: add Type::NamedTuple	2023-08-17 02:00:44 +09:00
Shunsuke Shibayama	83beaea214	fix: type substitution bugs	2023-08-15 13:55:21 +09:00
Shunsuke Shibayama	187259a008	fix: trait bound bug	2023-08-07 22:43:03 +09:00
Shunsuke Shibayama	d46ce0ff0c	chore: add Substituter	2023-08-07 21:25:17 +09:00
Shunsuke Shibayama	b7ca9a16f3	refactor: Type::update_constraint	2023-08-07 01:08:59 +09:00
Shunsuke Shibayama	f4e1d494a4	fix: array type inferring	2023-08-06 22:51:13 +09:00
Shunsuke Shibayama	142db9b697	refactor: link -> destructive_link	2023-08-06 20:13:45 +09:00
Shunsuke Shibayama	5dec24a3bf	Merge branch 'main' into shape	2023-08-06 19:26:51 +09:00
Shunsuke Shibayama	07679238bc	chore: add Unifier	2023-08-06 19:25:31 +09:00
Shunsuke Shibayama	b5ff509b5d	fix: sub-unification bug	2023-08-04 20:05:18 +09:00
Shunsuke Shibayama	05cc170f3f	fix: undo leak	2023-07-30 16:51:52 +09:00
Shunsuke Shibayama	1ea2c74aaa	chore: add TyParam::proj_call	2023-07-30 13:05:39 +09:00
Shunsuke Shibayama	7d696b5aa5	fix: subtyping bug	2023-07-07 23:45:45 +09:00
Shunsuke Shibayama	d6f30924f1	chore: add FreshNameGenerator	2023-06-10 15:31:26 +09:00
Shunsuke Shibayama	0840d9bf60	fix: subtyping bug	2023-06-10 11:16:30 +09:00
Shunsuke Shibayama	95af482e22	fix: path resolution bug & subtyping bug	2023-06-05 13:07:06 +09:00
Shunsuke Shibayama	06001bfc13	feat: refinement type specification	2023-05-20 16:40:26 +09:00
Shunsuke Shibayama	f39836abb0	fix: bugs generating unintended circular references	2023-05-18 18:38:44 +09:00
Shunsuke Shibayama	8886364da7	fix: sub-unification bugs	2023-05-10 22:47:49 +09:00
Shunsuke Shibayama	70510f6ae1	fix: a subtyping bug	2023-05-09 23:55:23 +09:00
Shunsuke Shibayama	fca904d3ef	Update unify.rs	2023-05-08 11:51:19 +09:00
Shunsuke Shibayama	d573d07f20	chore: enhance the compile-time evaluator	2023-05-04 22:12:58 +09:00
Shunsuke Shibayama	0b0c663792	fix: a type casting bug	2023-04-29 14:20:10 +09:00