154 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	905a03d578	fix: external type specification bug	2023-12-13 23:33:06 +09:00
Shunsuke Shibayama	529d3892bf	fix: container type inference bugs	2023-12-11 00:15:13 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	a6336fa896	feat: support inherited refinement types	2023-10-31 12:24:41 +09:00
Shunsuke Shibayama	678c02faf9	feat: support refinement class	2023-10-31 02:23:50 +09:00
Shunsuke Shibayama	6058339e3f	chore: add TypeContext, MethodContext	2023-10-29 17:33:21 +09:00
Shunsuke Shibayama	5096843bc5	fix: array type inffering	2023-10-16 23:16:39 +09:00
Shunsuke Shibayama	0a24c0cb77	fix: dict update! bug	2023-10-14 21:38:12 +09:00
Shunsuke Shibayama	fdb7c69431	chore: avoid type var recursion	2023-10-12 16:12:10 +09:00
Shunsuke Shibayama	92bb79885a	fix: type spec bug	2023-10-08 00:07:13 +09:00
Shunsuke Shibayama	13a346e488	feat: add Dict.concat/diff, Dict!.merge!/remove!	2023-10-05 00:57:08 +09:00
Shunsuke Shibayama	24da5cdfbd	fix: [x; _] bug	2023-10-02 22:50:17 +09:00
Shunsuke Shibayama	cce95e7210	fix: crack crash	2023-10-02 21:50:59 +09:00
Shunsuke Shibayama	f1d71e0dab	feat: add [x; _] literal	2023-10-02 20:49:21 +09:00
Shunsuke Shibayama	c985fcb4d8	chore: instantiate_param_ty to be Failable	2023-09-30 11:13:37 +09:00
Shunsuke Shibayama	57d3a23aed	feat: impl Hash for Array	2023-09-18 19:44:37 +09:00
Shunsuke Shibayama	712d4e2b73	feat: bidi for containers	2023-09-05 19:38:33 +09:00
Shunsuke Shibayama	75b5b68831	feat: introduce bidirectional type checking	2023-09-05 16:44:38 +09:00
Shunsuke Shibayama	b5ee614c53	Update eval.rs	2023-08-26 22:28:52 +09:00
Shunsuke Shibayama	653993f637	fix: const record member definition	2023-08-26 16:44:00 +09:00
Shunsuke Shibayama	f3b188e095	feat: support recursive class definition	2023-08-25 21:02:47 +09:00
Shunsuke Shibayama	936b6e2f95	chore: eliminate clippy warns	2023-08-24 23:38:27 +09:00
Shunsuke Shibayama	75081ac3aa	fix: type-parameter unification	2023-08-23 18:02:04 +09:00
Shunsuke Shibayama	3724a74649	fix: undo leak bug & sub-unification bugs	2023-08-22 21:45:25 +09:00
Shunsuke Shibayama	a0ce142f7b	chore: add record examples	2023-08-20 10:58:33 +09:00
Shunsuke Shibayama	5e71bd7fd0	feat: add Record.as_dict()	2023-08-20 02:02:53 +09:00
Shunsuke Shibayama	927de74eee	chore: add Self substitution	2023-08-17 19:25:17 +09:00
Shunsuke Shibayama	83beaea214	fix: type substitution bugs	2023-08-15 13:55:21 +09:00
Shunsuke Shibayama	28d173758f	chore: add TyParam::DataClass	2023-08-15 01:23:53 +09:00
Shunsuke Shibayama	5f6d530602	fix: type substitution bug	2023-08-13 13:44:52 +09:00
Shunsuke Shibayama	2e9fb48f2e	fix: in operator ... * remove `In` trait, `__in__`, `__notin__` function * desugar to `__contains__` * impl Collection for Array, Set, Tuple	2023-08-13 01:01:06 +09:00
Shunsuke Shibayama	4f93c393c0	fix: trait registering bugs	2023-08-12 23:31:44 +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	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	debac5726e	fix: undoable link	2023-08-06 01:02:34 +09:00
Shunsuke Shibayama	b5ff509b5d	fix: sub-unification bug	2023-08-04 20:05:18 +09:00
Shunsuke Shibayama	bd023c70d2	chore: improve error display	2023-08-04 16:24:03 +09:00
Shunsuke Shibayama	0dd5ac0775	Merge branch 'main' into shape	2023-08-02 15:59:24 +09:00
Shunsuke Shibayama	f298db96d1	fix: warn unused type variables	2023-08-02 15:07:31 +09:00
Shunsuke Shibayama	6c3536cc31	fix: declaration bugs	2023-07-31 11:08:53 +09:00
Shunsuke Shibayama	df7dbcda4b	chore: let const funcs return TyParam instead of ValueObj	2023-07-30 15:02:32 +09:00
Shunsuke Shibayama	1ea2c74aaa	chore: add TyParam::proj_call	2023-07-30 13:05:39 +09:00
Shunsuke Shibayama	9308a910ca	fix: #442	2023-07-24 09:32:31 +09:00
Shunsuke Shibayama	072d62f7b3	fix: reduce unreachables	2023-07-15 12:40:23 +09:00
Shunsuke Shibayama	0152e368ab	feat: support Array, Str, Bytes slice	2023-07-15 12:29:07 +09:00
Shunsuke Shibayama	e3b479ebf7	feat: polymorphic type class members	2023-07-14 01:53:06 +09:00
Shunsuke Shibayama	9025fe7e99	feat: add bin/oct/hex literal	2023-07-12 16:31:39 +09:00
Shunsuke Shibayama	5ea48ab88e	fix: desugaring leaks	2023-06-10 13:46:10 +09:00