411 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	167158ba50	Fix a containers subtyping bug	2022-12-15 18:27:18 +09:00
Shunsuke Shibayama	84b39bb41c	Update mod.rs	2022-12-15 17:21:49 +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	bcc9aa90ea	Update register.rs	2022-12-15 00:29:52 +09:00
Shunsuke Shibayama	76bf5fa44c	Add notin operator	2022-12-15 00:18:52 +09:00
Shunsuke Shibayama	5342edcf4d	eliminate todo!s	2022-12-14 23:48:57 +09:00
Shunsuke Shibayama	7a4b9e3652	Update mod.rs	2022-12-14 20:55:28 +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	47b9500802	Change the type of pop_mod_ctx	2022-12-14 19:54:56 +09:00
Shunsuke Shibayama	9ab7d804ab	Update register.rs	2022-12-14 19:27:30 +09:00
Shunsuke Shibayama	d5b05c8a28	Add IntersectionTypeObj	2022-12-14 18:03:49 +09:00
Shunsuke Shibayama	f3a7d26e71	Create declare mod	2022-12-14 17:47:40 +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	7d1831f7dd	Update mod.rs	2022-12-14 11:53:14 +09:00
Shunsuke Shibayama	481761e50b	Fix python resolving	2022-12-14 11:24:24 +09:00
Shunsuke Shibayama	393ce2d94a	Update register.rs	2022-12-14 07:49:12 +09:00
Shunsuke Shibayama	3ff1675770	Undo 954c6f75	2022-12-14 07:38:28 +09:00
Shunsuke Shibayama	e67f1b9c1b	Update mod.rs	2022-12-14 07:28:42 +09:00
Shunsuke Shibayama	954c6f752d	Fix a python module resolving bug	2022-12-14 06:37:43 +09:00
Shunsuke Shibayama	3c17518963	Rename ErgConfig::pylyzer_mode -> python_compatible_mode	2022-12-14 06:11:54 +09:00
Shunsuke Shibayama	3108a789a4	Merge branch 'main' into pylyzer-mode	2022-12-14 05:39:14 +09:00
Shunsuke Shibayama	b09fce8a86	Add ErgConfig::inherit ... and remove with_module_path	2022-12-14 05:38:50 +09:00
Shunsuke Shibayama	64e7c9e41b	Update mod.rs	2022-12-13 22:07:01 +09:00
Shunsuke Shibayama	ccf39b3b05	Support pylyzer mode	2022-12-13 21:16:52 +09:00
Shunsuke Shibayama	c6ac087f71	Update mod.rs ... Update mod.rs Update mod.rs	2022-12-13 20:51:10 +09:00
Shunsuke Shibayama	5b01098605	Merge branch 'main' into pylyzer-mode	2022-12-13 20:42:58 +09:00
Shunsuke Shibayama	3c90d9b8ed	Fix SharedModuleCache to take ErgConfig as an argument	2022-12-13 20:41:05 +09:00
Shunsuke Shibayama	dea0d722b0	Add pylyzer execution pass	2022-12-13 19:31:53 +09:00
Shunsuke Shibayama	64848a73ce	Add pylyzer-mode	2022-12-13 18:02:21 +09:00
Shunsuke Shibayama	1142d327e5	Fix: arbitrary attributes of Failure type objects to be Failure	2022-12-11 23:32:28 +09:00
Shunsuke Shibayama	c8b161842a	Add Location::unknown_or	2022-12-11 22:58:14 +09:00
Shunsuke Shibayama	de39186103	Enhance array out of bounds hint messages	2022-12-11 21:51:11 +09:00
Shunsuke Shibayama	c2270d319d	Update mod.rs	2022-12-11 21:24:32 +09:00
Shunsuke Shibayama	e1c8bb415b	Add Expr::Dummy	2022-12-11 18:28:20 +09:00
Shunsuke Shibayama	f1ff0d1ddf	Fix double type checking of return values	2022-12-11 12:00:33 +09:00
Shunsuke Shibayama	09cca638a6	Update register.rs	2022-12-11 11:39:47 +09:00
Shunsuke Shibayama	22f906953d	Update compare.rs	2022-12-10 13:31:50 +09:00
Shunsuke Shibayama	acb3eac043	Fix a refinement subtype checking bug	2022-12-10 13:18:07 +09:00
Shunsuke Shibayama	ddd7abbaed	Add NoTypeDisplay trait	2022-12-09 22:01:09 +09:00
Shunsuke Shibayama	5830253d7b	Update compare.rs	2022-12-09 20:12:31 +09:00
Shunsuke Shibayama	4ed278e75c	Fix #282	2022-12-09 19:46:59 +09:00
Shunsuke Shibayama	a395938413	Fix an Erg standard library loading bug	2022-12-09 11:48:13 +09:00
Shunsuke Shibayama	a460b431a3	Update inquire.rs	2022-12-08 23:47:12 +09:00
Shunsuke Shibayama	3c9734e571	Update inquire.rs	2022-12-08 23:31:07 +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