131 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	e6b56d4469	fix: match type check	2023-10-12 11:30:33 +09:00
Shunsuke Shibayama	3f4520d1d3	fix: ignore too many args error	2023-10-11 22:29:24 +09:00
Shunsuke Shibayama	22096ceccf	feat: improve error message for missing args	2023-10-11 22:08:39 +09:00
Shunsuke Shibayama	157ed4549e	Update inquire.rs	2023-10-11 20:03:07 +09:00
Shunsuke Shibayama	e6a75e80df	chore: use NormalizedPathBuf	2023-10-08 18:16:31 +09:00
Shunsuke Shibayama	d13c0e959d	fix: deadlock bug	2023-10-08 14:03:13 +09:00
Shunsuke Shibayama	f676f22d6c	fix: planner bug	2023-10-08 02:15:25 +09:00
Shunsuke Shibayama	6bbd71f8bd	chore: add Context::mod_cached	2023-10-07 15:16:16 +09:00
Shunsuke Shibayama	fd74117c50	chore: fix warnings	2023-10-07 14:46:19 +09:00
Shunsuke Shibayama	d5cbff6701	Update inquire.rs	2023-10-02 23:18:09 +09:00
Shunsuke Shibayama	c985fcb4d8	chore: instantiate_param_ty to be Failable	2023-09-30 11:13:37 +09:00
Shunsuke Shibayama	dcdbfc0c59	fix: attribute resolving	2023-09-16 21:25:47 +09:00
Shunsuke Shibayama	f6d08a9dfd	fix: attribute resolving	2023-09-16 20:27:20 +09:00
Shunsuke Shibayama	6ca5e07191	fix: user type renaming bug	2023-09-06 19:36:48 +09:00
Shunsuke Shibayama	8a1911cece	fix: method inferring	2023-09-05 21:54:08 +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	653993f637	fix: const record member definition	2023-08-26 16:44:00 +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	dc7e0a341d	feat: enhance assert casting	2023-08-23 01:52:16 +09:00
Shunsuke Shibayama	3724a74649	fix: undo leak bug & sub-unification bugs	2023-08-22 21:45:25 +09:00
Shunsuke Shibayama	5e71bd7fd0	feat: add Record.as_dict()	2023-08-20 02:02:53 +09:00
Shunsuke Shibayama	f1c44175f7	fix: eliminate todo!s	2023-08-18 13:03:38 +09:00
Shunsuke Shibayama	9454896d5a	WIP	2023-08-17 16:43:26 +09:00
Shunsuke Shibayama	ea0089f7df	feat: add Type::NamedTuple	2023-08-17 02:00:44 +09:00
Shunsuke Shibayama	efbad81475	feat(els): support inlay hint resolve	2023-08-16 19:06:37 +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	278039c75b	Merge branch 'main' into shape	2023-08-02 18:43:43 +09:00
Shunsuke Shibayama	b7b1588594	fix: namespace bug	2023-08-02 18:41:28 +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	1ea2c74aaa	chore: add TyParam::proj_call	2023-07-30 13:05:39 +09:00
Shunsuke Shibayama	17b44b1fa8	Merge pull request #444 from erg-lang/fix-443 ... Fix #443	2023-07-26 20:45:23 +09:00
Shunsuke Shibayama	3eb2d439ca	fix: eliminate of unnecessary file escapes	2023-07-26 17:53:29 +09:00
Shunsuke Shibayama	a64945e9d0	fix: false positive errors	2023-07-26 01:40:08 +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	3f9e70bd9d	fix: Self type bugs	2023-07-08 13:17:09 +09:00
Shunsuke Shibayama	ed8125a468	fix: parameter type inferring bug ... fix: mtshiba/pylyzer#47	2023-07-03 16:19:29 +09:00
Shunsuke Shibayama	53cd052dc3	fix: module member resolution bug	2023-06-29 16:07:21 +09:00
Shunsuke Shibayama	03a42c6621	fix: cyclic modules accessing bug	2023-06-29 12:25:17 +09:00
Shunsuke Shibayama	e27cf8f9ad	fix: import bug	2023-06-21 14:40:29 +09:00
Shunsuke Shibayama	75f4c206f6	feat: parallelize the analysis process	2023-06-18 15:58:32 +09:00
Shunsuke Shibayama	0d3691f243	Merge branch 'main' into rwlock	2023-06-10 17:45:08 +09:00
Shunsuke Shibayama	8e481399b4	chore: eliminate unsafe operations	2023-05-28 02:22:33 +09:00
Shunsuke Shibayama	c31e93052b	fix: infinite recursion bugs	2023-05-25 18:03:43 +09:00