67 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	bc23f9d045	chore: improve Type::replace_failure	2024-06-19 01:35:18 +09:00
Shunsuke Shibayama	22cd07a414	chore: improve overload error msg	2024-06-15 14:14:38 +09:00
Shunsuke Shibayama	559b465888	fix: minor bugs	2024-05-22 16:33:10 +09:00
Shunsuke Shibayama	dc7565cb26	fix: type generalization bug	2024-05-17 15:57:16 +09:00
Shunsuke Shibayama	0ffa23affd	fix: trait parameter bug	2024-04-28 18:53:30 +09:00
Shunsuke Shibayama	c6eb78a44d	refactor!: rename Array -> List	2024-04-04 23:24:07 +09:00
Shunsuke Shibayama	107d466e57	chore: eliminate unwraps	2024-03-29 01:35:30 +09:00
Shunsuke Shibayama	56f06a0a1e	chore: eliminate unwraps	2024-03-25 15:14:48 +09:00
Shunsuke Shibayama	7d6ea6cf77	chore: add sub_unify_with_coercion	2024-03-21 14:00:26 +09:00
Shunsuke Shibayama	ac80cbba87	chore: fill missing arms	2024-02-25 11:20:11 +09:00
Shunsuke Shibayama	a6e7a39753	fix: nested module bug	2024-01-31 12:11:20 +09:00
Shunsuke Shibayama	284146843b	fix: refinement type bug	2024-01-30 12:18:27 +09:00
Shunsuke Shibayama	7ed39e3281	fix: dependent refinement type bug	2024-01-30 01:06:03 +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	905a03d578	fix: external type specification bug	2023-12-13 23:33:06 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	678c02faf9	feat: support refinement class	2023-10-31 02:23:50 +09:00
Shunsuke Shibayama	ac0ca49724	fix: attribute completion	2023-10-22 14:48:35 +09:00
Shunsuke Shibayama	5096843bc5	fix: array type inffering	2023-10-16 23:16:39 +09:00
Shunsuke Shibayama	a8c1113df7	fix: minor bugs	2023-10-14 19:39:07 +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	3724a74649	fix: undo leak bug & sub-unification bugs	2023-08-22 21:45:25 +09:00
Shunsuke Shibayama	fa2a59ae83	feat: support json backend	2023-08-18 22:19:19 +09:00
Shunsuke Shibayama	6a925f38bd	fix(els): hover ... * show type difinitions	2023-08-16 19:57:55 +09:00
Shunsuke Shibayama	28d173758f	chore: add TyParam::DataClass	2023-08-15 01:23:53 +09:00
Shunsuke Shibayama	27f191b687	fix: structural Predicate comparison	2023-08-07 23:14:11 +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	debac5726e	fix: undoable link	2023-08-06 01:02:34 +09:00
Shunsuke Shibayama	6c3536cc31	fix: declaration bugs	2023-07-31 11:08:53 +09:00
Shunsuke Shibayama	1ea2c74aaa	chore: add TyParam::proj_call	2023-07-30 13:05:39 +09:00
Shunsuke Shibayama	664f265716	WIP	2023-07-28 00:27:04 +09:00
Shunsuke Shibayama	a8a3316c17	chore: add LimitedDisplay::to_string_unabbreviated	2023-07-07 01:10:18 +09:00
Shunsuke Shibayama	e6c490e22b	fix: type display omittion	2023-07-07 00:31:10 +09:00
Shunsuke Shibayama	f93ee691d6	chore: improve type display	2023-07-03 22:27:39 +09:00
Shunsuke Shibayama	26be281137	fix: infinte recursion bug	2023-06-10 23:04:23 +09:00
Shunsuke Shibayama	0840d9bf60	fix: subtyping bug	2023-06-10 11:16:30 +09:00
Shunsuke Shibayama	c8ea6f6c9b	fix: nested polymorphic type check bug	2023-06-06 00:04:18 +09:00
Shunsuke Shibayama	54bd51aea5	fix: desugar leaks ... reported: https://github.com/mtshiba/pylyzer/issues/41	2023-05-29 14:11:10 +09:00
Shunsuke Shibayama	f39836abb0	fix: bugs generating unintended circular references	2023-05-18 18:38:44 +09:00
Shunsuke Shibayama	d573d07f20	chore: enhance the compile-time evaluator	2023-05-04 22:12:58 +09:00
Shunsuke Shibayama	0603998bfc	chore: add Context::convert_value_into_type	2023-05-03 15:03:28 +09:00
Shunsuke Shibayama	c84294fc11	chore(els): let FileCache: Send + Sync	2023-05-01 23:27:53 +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	245d9eee84	fix: dict typing bugs	2023-04-27 15:51:56 +09:00
Shunsuke Shibayama	1e72cf20f1	fix: casting bugs	2023-04-27 13:58:15 +09:00