93 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	167158ba50	Fix a containers subtyping bug	2022-12-15 18:27:18 +09:00
Shunsuke Shibayama	68a3fd6730	Update eval.rs	2022-12-15 17:07:25 +09:00
Shunsuke Shibayama	800b6c43d9	Eliminate todo!s	2022-12-15 15:18:25 +09:00
Shunsuke Shibayama	8308d0b965	Merge pull request #293 from erg-lang/pylyzer-mode ... Add pylyzer-mode	2022-12-14 20:34:21 +09:00
Shunsuke Shibayama	74e9e077bd	Fix a bug that scopes are not detached when errors occur	2022-12-14 20:00:24 +09:00
Shunsuke Shibayama	d5b05c8a28	Add IntersectionTypeObj	2022-12-14 18:03:49 +09:00
Shunsuke Shibayama	c8b161842a	Add Location::unknown_or	2022-12-11 22:58:14 +09:00
Shunsuke Shibayama	7b95d3fc4d	Merge pull request #280 from erg-lang/fix-#278 ... Fix #278	2022-12-08 22:50:29 +09:00
Shunsuke Shibayama	e7edd42c5b	Update eval.rs	2022-12-08 22:48:28 +09:00
Shunsuke Shibayama	4f21e63fa8	Fix #278	2022-12-08 22:36:57 +09:00
Shunsuke Shibayama	b83b94ccde	Update eval.rs	2022-12-07 23:28:26 +09:00
Shunsuke Shibayama	631e0f0df7	Update eval.rs	2022-12-07 23:26:18 +09:00
Shunsuke Shibayama	943824fdc2	Update eval.rs	2022-12-06 22:57:21 +09:00
Shunsuke Shibayama	b433a703dc	Update eval.rs	2022-12-02 22:17:00 +09:00
Shunsuke Shibayama	08a92bbbc1	Fix if codegen bugs	2022-11-30 23:58:19 +09:00
Shunsuke Shibayama	fde5a33d54	Improve error message for referring to a variable before its definition	2022-11-28 10:38:01 +09:00
Shunsuke Shibayama	d26909c317	Improve type mismatch messages	2022-11-25 17:20:39 +09:00
GreasySlug	f3a9ea728e	Update: use ErrorCore loc instead of SubMessage's	2022-11-23 17:22:57 +09:00
Shunsuke Shibayama	2caa6b6ec9	Merge pull request #232 from erg-lang/split-err-msg ... Split error messages	2022-11-23 15:55:19 +09:00
Yuna Tomida	743b0d97e2	enable shortened/normal mixed record definition	2022-11-21 12:14:25 +09:00
GreasySlug	000124fea8	Update: changed in support of SubMessage	2022-11-17 23:27:31 +09:00
Shunsuke Shibayama	89c3ada048	Implement coercion to search for attributes	2022-11-15 21:50:42 +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	968d3b5d2c	Fix trait implementation check	2022-10-28 18:03:35 +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	12711ba08a	Add semver.er	2022-10-23 21:13:45 +09:00
Shunsuke Shibayama	47bedf67d8	Implement type spec of projection and enum types	2022-10-22 14:01:48 +09:00
Shunsuke Shibayama	d0456ec1ee	Implement default parameter	2022-10-18 10:27:57 +09:00
Shunsuke Shibayama	4e2b36bb96	Fix projection type inference bug	2022-10-15 11:15:16 +09:00
Shunsuke Shibayama	7776297de2	Fix inferring bug	2022-10-14 09:46:42 +09:00
Shunsuke Shibayama	145152575c	Change grow's type	2022-10-14 01:07:14 +09:00
Shunsuke Shibayama	983f87c35f	Fix stack overflow	2022-10-13 17:37: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	378dc1e6fc	Delete ArrayType, etc.	2022-10-12 16:14:06 +09:00
Shunsuke Shibayama	e647c9545f	Merge branch 'main' into dict	2022-10-12 13:20:05 +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
GreasySlug	900a5bb38e	Add: floordiv	2022-10-11 15:06:15 +09:00
Shunsuke Shibayama	627f64e081	Fix: handling of literal parsing failures	2022-10-10 11:51:26 +09:00
Shunsuke Shibayama	ea75a3d5df	Update SubstContext	2022-10-08 11:07:01 +09:00
Shunsuke Shibayama	ebb01ccb7e	change the return type of get_nominal_ctx	2022-10-07 21:55:09 +09:00
Shunsuke Shibayama	b8af453865	WIP	2022-10-07 21:37:32 +09:00