73 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	6945d0c32e	fix: eliminate unwraps	2024-05-02 22:16:54 +09:00
Shunsuke Shibayama	96f4c1cf98	feat: add {Str, List}.from	2024-04-30 18:44:31 +09:00
Shunsuke Shibayama	4396695ad6	fix: default parameter bug	2024-04-24 13:54:56 +09:00
Shunsuke Shibayama	1da212565c	fix: type instantiation bugs	2024-04-21 00:46:31 +09:00
Shunsuke Shibayama	1f88084360	feat: best-effort type instantiation	2024-04-20 22:51:14 +09:00
Shunsuke Shibayama	c6eb78a44d	refactor!: rename Array -> List	2024-04-04 23:24:07 +09:00
Shunsuke Shibayama	35f55c62d3	feat: enhance os, random type decls	2024-03-24 13:02:26 +09:00
Shunsuke Shibayama	fd873a1916	feat: argumen type narrowing	2024-03-17 20:57:13 +09:00
Shunsuke Shibayama	74e89f6d5b	fix: polymorphic type spec instantiation bugs	2024-03-13 22:35:08 +09:00
Shunsuke Shibayama	0bedeb51ab	feat: support using attributes in predicate	2024-02-24 13:23:02 +09:00
Shunsuke Shibayama	53172d5132	fix: declared type instantiation bug	2024-02-07 01:58:39 +09:00
Shunsuke Shibayama	9c9f8b7a0a	fix: subtype relation bug	2024-02-03 19:36:27 +09:00
Shunsuke Shibayama	8189d1cfc4	fix: callable object bug	2024-02-02 02:24:43 +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	f0e47201bf	fix: param type instantiation bug	2024-01-29 13:20:40 +09:00
Shunsuke Shibayama	0f3d228997	fix: type-parameter unification bug	2024-01-29 02:09:24 +09:00
Shunsuke Shibayama	06a4a6e5fc	feat: add Predicate::General{Less, Greater, Not}Equal	2024-01-28 20:24:14 +09:00
Shunsuke Shibayama	8350ad0581	chore: improve refinement types display	2024-01-28 19:34:03 +09:00
Shunsuke Shibayama	4393649ffc	feat: add Predicate::{Call, GeneralEqual}	2024-01-28 18:33:00 +09:00
Shunsuke Shibayama	efea5ae52f	fix: incomplete polymorphic type instantiation	2024-01-25 01:57:38 +09:00
Shunsuke Shibayama	951c85a344	feat: add exception module	2024-01-04 21:41:24 +09:00
Shunsuke Shibayama	edfabd97e7	refactor: fix warns	2023-12-29 12:30:41 +09:00
Shunsuke Shibayama	905a03d578	fix: external type specification bug	2023-12-13 23:33:06 +09:00
Shunsuke Shibayama	21025096a3	fix: type-var instantiation bugs	2023-11-25 02:56:25 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	641a60bda6	feat: support and/or guard type	2023-10-31 13:47:42 +09:00
Shunsuke Shibayama	6058339e3f	chore: add TypeContext, MethodContext	2023-10-29 17:33:21 +09:00
Shunsuke Shibayama	e6cf329f97	fix: type alias bug	2023-10-16 18:34:19 +09:00
Shunsuke Shibayama	cce95e7210	fix: crack crash	2023-10-02 21:50:59 +09:00
Shunsuke Shibayama	c985fcb4d8	chore: instantiate_param_ty to be Failable	2023-09-30 11:13:37 +09:00
Shunsuke Shibayama	3fd66f1a32	feat: (partial) comprehension support	2023-09-11 02:24:03 +09:00
Shunsuke Shibayama	6ca5e07191	fix: user type renaming bug	2023-09-06 19:36:48 +09:00
Shunsuke Shibayama	06c14c35e5	chore: add Token::col_end	2023-08-27 16:49:01 +09:00
Shunsuke Shibayama	653993f637	fix: const record member definition	2023-08-26 16:44:00 +09:00
Shunsuke Shibayama	936b6e2f95	chore: eliminate clippy warns	2023-08-24 23:38:27 +09:00
Shunsuke Shibayama	97afccb94a	fix: predicate instantiation bug	2023-08-22 14:13:06 +09:00
Shunsuke Shibayama	6ce41ef8bd	fix: record type subtyping	2023-08-19 23:30:34 +09:00
Shunsuke Shibayama	9454896d5a	WIP	2023-08-17 16:43:26 +09:00
Shunsuke Shibayama	f4e1d494a4	fix: array type inferring	2023-08-06 22:51:13 +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	0b63e037ec	Merge branch 'main' into shape	2023-08-02 10:51:16 +09:00
Shunsuke Shibayama	c63000f153	fix: quantification of And types	2023-08-02 10:45:07 +09:00
Shunsuke Shibayama	6c3536cc31	fix: declaration bugs	2023-07-31 11:08:53 +09:00
Shunsuke Shibayama	3f9e70bd9d	fix: Self type bugs	2023-07-08 13:17:09 +09:00
Shunsuke Shibayama	456cc458fe	fix: error msg for illegal use of Self type	2023-06-23 20:30:35 +09:00
Shunsuke Shibayama	4851826b3a	fix: type-specification bug	2023-06-07 21:31:12 +09:00
Shunsuke Shibayama	a8abb7709e	fix: type declaration bugs	2023-06-04 16:48:21 +09:00
Shunsuke Shibayama	5052ebb077	feat: impl polymorphic type declaration	2023-06-04 01:34:20 +09:00
Shunsuke Shibayama	4137a07b70	chore(els): impl hover/jump for type specification	2023-06-02 10:54:31 +09:00