65 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	50d51dc08b	merge from main	2024-04-02 15:31:14 +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
Shunsuke Shibayama	379caacce9	fix: subtyping bugs	2023-05-20 21:43:53 +09:00
Shunsuke Shibayama	06001bfc13	feat: refinement type specification	2023-05-20 16:40:26 +09:00
Shunsuke Shibayama	0603998bfc	chore: add Context::convert_value_into_type	2023-05-03 15:03:28 +09:00
Shunsuke Shibayama	730886021e	feat: add special namespaces module/global	2023-05-03 14:32:09 +09:00
Shunsuke Shibayama	bd95ab8221	fix: PreDeclTypeSpec bugs ... SimpleTypeSpec -> Identifier/PolyTypeSpec	2023-04-30 19:29:47 +09:00
Shunsuke Shibayama	882d619dcc	fix: type-parameter instantiation bugs	2023-04-29 23:14:39 +09:00
Shunsuke Shibayama	68a233e6c3	fix: type-parameter instantiation bugs ... add `itertools` module type definition	2023-04-29 22:38:36 +09:00
Shunsuke Shibayama	b3e09f213f	fix: type inference failure of as operator ... Now the `as` operator is a kind of type ascription, i.e., a special operator.	2023-04-26 23:41:35 +09:00