118 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	167158ba50	Fix a containers subtyping bug	2022-12-15 18:27:18 +09:00
Shunsuke Shibayama	800b6c43d9	Eliminate todo!s	2022-12-15 15:18:25 +09:00
Shunsuke Shibayama	e7a305ef6c	Update tyvar.rs	2022-12-14 14:51:17 +09:00
Shunsuke Shibayama	4a4ed7bb9d	Update tyvar.rs	2022-12-14 14:45:23 +09:00
Shunsuke Shibayama	954c6f752d	Fix a python module resolving bug	2022-12-14 06:37:43 +09:00
Shunsuke Shibayama	de39186103	Enhance array out of bounds hint messages	2022-12-11 21:51:11 +09:00
Shunsuke Shibayama	e1c8bb415b	Add Expr::Dummy	2022-12-11 18:28:20 +09:00
Shunsuke Shibayama	acb3eac043	Fix a refinement subtype checking bug	2022-12-10 13:18:07 +09:00
Shunsuke Shibayama	4f21e63fa8	Fix #278	2022-12-08 22:36:57 +09:00
Shunsuke Shibayama	52c76431ee	Merge branch 'main' into patch	2022-12-05 17:25:45 +09:00
Shunsuke Shibayama	6cb3231845	Fix a refinement + union types bug	2022-12-05 00:41:37 +09:00
Shunsuke Shibayama	188f8ad965	Update tyvar.rs	2022-12-04 12:30:31 +09:00
Shunsuke Shibayama	48f91f969b	Fix match crashes	2022-12-04 11:43:39 +09:00
Shunsuke Shibayama	bade70ef91	Implement Patch	2022-12-02 20:03:02 +09:00
Shunsuke Shibayama	111a9f5615	Fix #247	2022-11-27 20:24:11 +09:00
Shunsuke Shibayama	d26909c317	Improve type mismatch messages	2022-11-25 17:20:39 +09:00
Shunsuke Shibayama	89c3ada048	Implement coercion to search for attributes	2022-11-15 21:50:42 +09:00
Shunsuke Shibayama	4ea0e356f7	Update tyvar.rs	2022-11-15 13:09:36 +09:00
Shunsuke Shibayama	4c171db645	Remove SubrSignature::t	2022-11-12 19:43:19 +09:00
Shunsuke Shibayama	a4c6009ec6	Implement record pattern for parameters	2022-11-09 18:14:02 +09:00
Shunsuke Shibayama	7663d3cd62	Add comments & refactoring	2022-11-08 02:26:06 +09:00
Shunsuke Shibayama	6580f98a4c	Update tyvar.rs	2022-11-05 14:14:34 +09:00
Shunsuke Shibayama	a9f65d73c1	Remove linter warnings	2022-11-05 03:17:05 +09:00
Shunsuke Shibayama	2c8190f68c	Merge branch 'main' into optimize-inference	2022-10-28 18:04:10 +09:00
Shunsuke Shibayama	61037c998c	print the number if the argument type is wrong	2022-10-28 00:23:47 +09:00
Shunsuke Shibayama	c1318352f7	Fix some bugs	2022-10-27 18:41:15 +09:00
Shunsuke Shibayama	3757a7d935	Delete comment out	2022-10-27 10:23:58 +09:00
Shunsuke Shibayama	9d022ba4e1	Optimize type inferer	2022-10-27 10:12:08 +09:00
Shunsuke Shibayama	308f6a77dd	Optimize type inferer	2022-10-27 10:10:51 +09:00
Shunsuke Shibayama	d56549f528	Change Eq(R) to Eq	2022-10-25 01:53:52 +09:00
Shunsuke Shibayama	9f85c88e7e	WIP	2022-10-24 14:32:34 +09:00
Shunsuke Shibayama	4068a5ba07	Implement parameter pattern desugaring	2022-10-23 00:56:39 +09:00
Shunsuke Shibayama	47bedf67d8	Implement type spec of projection and enum types	2022-10-22 14:01:48 +09:00
Shunsuke Shibayama	c39973f536	Fix subtyping bug	2022-10-21 20:04:14 +09:00
Shunsuke Shibayama	03a36f48a3	Add raw identifier	2022-10-20 18:53:35 +09:00
Shunsuke Shibayama	09b5f00305	Fix name resolving bug	2022-10-20 07:43:21 +09:00
Shunsuke Shibayama	e0d6b93abd	Remove rust-defined python modules	2022-10-19 01:50:14 +09:00
Shunsuke Shibayama	46b87e1ca3	Fix: variable to have VarInfo instead of Type	2022-10-18 00:25:47 +09:00
Shunsuke Shibayama	465b578505	Update tyvar.rs	2022-10-13 13:59:03 +09:00
Shunsuke Shibayama	173815b2d9	Fix tyvar instantiating bug	2022-10-13 13:33:44 +09:00
Shunsuke Shibayama	aa2b45bf86	Fix method call bug	2022-10-13 00:56:43 +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	decb0fd077	Implement Dict	2022-10-10 19:29:11 +09:00
Shunsuke Shibayama	e02def52ab	Implement Array/SetWithLength	2022-10-10 00:05:55 +09:00
Shunsuke Shibayama	ea75a3d5df	Update SubstContext	2022-10-08 11:07:01 +09:00
Shunsuke Shibayama	7cb6c34ac2	Update fmt	2022-10-07 22:08:52 +09:00