60 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	72e8242843	Fix bugs	2022-10-13 18:27:13 +09:00
Shunsuke Shibayama	08e501f103	Fix sub_unify with class&trait	2022-10-12 18:32:24 +09:00
Shunsuke Shibayama	57da071ba8	Fixed a bug with nested dict	2022-10-12 18:00:25 +09:00
Shunsuke Shibayama	378dc1e6fc	Delete ArrayType, etc.	2022-10-12 16:14:06 +09:00
Shunsuke Shibayama	6c4e1dca35	Downgrade erg_type from crate to module ... This is to allow `ConstSubr` to have a `Context`	2022-10-12 02:28:25 +09:00
Shunsuke Shibayama	9c3acc8e19	Implement ProjMethod	2022-10-11 16:08:49 +09:00
Shunsuke Shibayama	befe2cf835	WIP	2022-10-09 18:07:52 +09:00
Shunsuke Shibayama	e74c9fa707	Fix an inferring bug	2022-10-09 10:41:03 +09:00
Shunsuke Shibayama	de1180387c	Implement assert casting	2022-10-09 00:14:50 +09:00
Shunsuke Shibayama	ea75a3d5df	Update SubstContext	2022-10-08 11:07:01 +09:00
Shunsuke Shibayama	b8b6acdf3a	Rename: Type::Class -> Type::ClassType	2022-10-08 10:38:46 +09:00
Shunsuke Shibayama	ebb01ccb7e	change the return type of get_nominal_ctx	2022-10-07 21:55:09 +09:00
Shunsuke Shibayama	4968076541	bug fixes	2022-10-07 20:15:53 +09:00
Shunsuke Shibayama	51d55dc2ff	Fix: trait existence checking bug	2022-10-07 19:30:12 +09:00
Shunsuke Shibayama	5d75c13e87	WIP	2022-10-07 18:26:57 +09:00
Shunsuke Shibayama	4fd5f30037	WIP	2022-10-07 16:47:33 +09:00
Shunsuke Shibayama	d62ec0f78f	WIP	2022-10-07 14:17:06 +09:00
Shunsuke Shibayama	59f6046916	Fix method type inference for type variables	2022-10-06 00:27:43 +09:00
Shunsuke Shibayama	85c6057d7c	Fix subtyping bugs	2022-10-05 11:53:29 +09:00
Shunsuke Shibayama	4d7181f2f0	Add trait implementation check	2022-10-05 02:10:27 +09:00
Shunsuke Shibayama	9751cf5d76	Fix type checking of union/intersection types	2022-10-05 00:43:30 +09:00
Shunsuke Shibayama	a3f71120ae	Fix type inferring bugs	2022-10-04 12:53:05 +09:00
Shunsuke Shibayama	4f6fbb50d0	Delete useless parameters	2022-10-03 00:46:39 +09:00
Shunsuke Shibayama	60bc94058a	Changed type of tmp_tv_ctx from &mut to &	2022-10-02 20:12:25 +09:00
Shunsuke Shibayama	a4f0ad4024	Add and, or type parsing	2022-10-02 11:53:15 +09:00
Shunsuke Shibayama	23a6f630c9	Fix import to be called from anywhere	2022-09-29 11:48:38 +09:00
Shunsuke Shibayama	348a37a746	Fix to continue compilation even if module compilation fails	2022-09-27 23:18:15 +09:00
Shunsuke Shibayama	d11b05ecff	Fix inferring bugs	2022-09-25 21:32:49 +09:00
Shunsuke Shibayama	f6e1a7b117	Remove unwraps	2022-09-24 19:15:55 +09:00
Shunsuke Shibayama	8541d38c7c	Update compare.rs	2022-09-24 15:57:51 +09:00
Shunsuke Shibayama	9a4a702ebe	Fixed to allow types to be uniquely determined between modules	2022-09-22 13:23:43 +09:00
Shunsuke Shibayama	3b7eebe041	WIP: Implement explicit type variable declarations	2022-09-17 17:25:07 +09:00
Shunsuke Shibayama	72748b639e	Update compare.rs	2022-09-16 00:17:47 +09:00
Shunsuke Shibayama	b306e05f39	Update compare.rs	2022-09-14 19:36:30 +09:00
Shunsuke Shibayama	87a7a3afdf	WIP: Fix unifying algorithm ... Delete `unify` (only use `sub_unify`)	2022-09-13 12:55:16 +09:00
Shunsuke Shibayama	605c2fc07e	WIP: Fix type inferring bugs	2022-09-13 02:38:14 +09:00
Shunsuke Shibayama	1947f7518a	Follow the latest changes and correct warnings	2022-09-10 21:33:13 +09:00
Yuna Tomida	d956c3f61d	Follow clippy warnings	2022-09-10 17:32:25 +09:00
Shunsuke Shibayama	60b7cce52e	Fix bugs related to Ref/RefMut	2022-09-08 13:47:49 +09:00
Shunsuke Shibayama	1ae7633501	Merge branch 'main' into class	2022-09-06 21:55:53 +09:00
Shunsuke Shibayama	4a8572a9fe	Fix type inference imcompleteness ... Add intersection type inference	2022-09-05 21:55:16 +09:00
Shunsuke Shibayama	fb0d2f5737	Refactor	2022-09-05 11:11:57 +09:00
Shunsuke Shibayama	25094efd17	Refactor	2022-09-05 11:09:51 +09:00
Shunsuke Shibayama	e860da2a15	WIP: impl type checker	2022-09-05 01:13:14 +09:00
Cai Bingjun	51de3c9d5a	Set Erg's markdown snippet highlighting to Python	2022-09-04 12:01:06 +08:00
Shunsuke Shibayama	22cb113fcd	Unify Type::Class/Trait	2022-09-03 22:22:49 +09:00
Shunsuke Shibayama	c4bff5d54a	Add some const funcs & Remove Evaluator	2022-09-03 01:45:00 +09:00
Shunsuke Shibayama	de7832bf33	Implement variable-length/keyword arguments	2022-08-30 20:31:56 +09:00
Yuna Tomida	95c70f4aed	make debug log easier to see	2022-08-30 10:57:30 +09:00
Shunsuke Shibayama	b730383065	Fix a type inference bug for dependent procedural methods	2022-08-29 00:48:52 +09:00