1458 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	94fc05ddd0	Update error.rs	2024-09-03 21:08:27 +09:00
Shunsuke Shibayama	bb2c4a6384	build: update version (nightly.3)	2024-09-03 15:34:06 +09:00
Shunsuke Shibayama	238a4c9458	fix: type comparison bug	2024-09-03 04:11:25 +09:00
Shunsuke Shibayama	535a59e5f7	fix: type evaluation bug	2024-09-03 00:30:02 +09:00
Shunsuke Shibayama	5ac731f673	build: update version (nightly.2)	2024-09-02 20:44:09 +09:00
Shunsuke Shibayama	7cd895a30e	chore: change logical operations order	2024-09-02 19:38:41 +09:00
Shunsuke Shibayama	57559b6b9f	Update server.rs	2024-09-02 19:24:56 +09:00
Shunsuke Shibayama	4f95462000	chore: impl ignored match arms	2024-09-02 16:00:15 +09:00
Shunsuke Shibayama	d3dad7ac95	build: update version (nightly.1)	2024-09-01 20:40:39 +09:00
Shunsuke Shibayama	2321bdc9fa	fix: sub-unification bug	2024-09-01 20:25:51 +09:00
Shunsuke Shibayama	475ace0966	build: update version (nightly.0)	2024-09-01 18:29:41 +09:00
Shunsuke Shibayama	b5092e7890	Merge pull request #518 from erg-lang/fix_inf_rec ... Fix infinite recursion bugs	2024-09-01 18:23:58 +09:00
Shunsuke Shibayama	9a05f22356	fix: infinite recursion bugs	2024-09-01 18:16:06 +09:00
Shunsuke Shibayama	0bc22e2b73	feat: add float func	2024-09-01 12:54:40 +09:00
Shunsuke Shibayama	46f08c4451	chore: uncomment code	2024-08-31 11:06:35 +09:00
Shunsuke Shibayama	d2460b9dde	Update free.rs	2024-08-31 02:43:32 +09:00
Shunsuke Shibayama	3d719c2aea	Merge branch 'main' into fix_inf_rec	2024-08-31 02:08:22 +09:00
Shunsuke Shibayama	e973b186f5	fix: **kwargs codegen bugs	2024-08-31 02:04:25 +09:00
Shunsuke Shibayama	52595bde1c	fix: infinite recursion bug	2024-08-30 15:16:09 +09:00
Shunsuke Shibayama	06412bf7d2	chore: add Context::intersection_tp	2024-08-29 16:49:57 +09:00
Shunsuke Shibayama	73f8be7ae1	fix: add set_recursion_limit!	2024-08-29 13:56:38 +09:00
Shunsuke Shibayama	de3b3a467b	chore: remove ValueObj: TryFrom<TyParam>	2024-08-29 13:54:34 +09:00
Shunsuke Shibayama	7e48a2f9c8	fix: ignored match arms	2024-08-29 02:37:19 +09:00
Shunsuke Shibayama	8e9458e75a	Merge branch 'main' into fix_inf_rec	2024-08-28 21:20:37 +09:00
Shunsuke Shibayama	fdca32f6a9	fix: eliminate panics	2024-08-28 21:20:13 +09:00
Shunsuke Shibayama	ba6c54ca6c	Merge branch 'main' into fix_inf_rec	2024-08-25 23:31:07 +09:00
Shunsuke Shibayama	32968ba290	chore: remove redundant params of PackageBuilder::parse	2024-08-25 23:27:34 +09:00
Shunsuke Shibayama	82522ed144	Update subprocess.d.er	2024-08-25 20:38:11 +09:00
Shunsuke Shibayama	4622a0b6be	Update eval.rs	2024-08-24 13:46:54 +09:00
Shunsuke Shibayama	a7f9a4ecb7	fix: import resolution bug	2024-08-24 09:40:14 +09:00
Shunsuke Shibayama	7a960f2cbb	chore: add Predicate::{map_t, map_tp}	2024-08-23 14:53:40 +09:00
Shunsuke Shibayama	837414929c	fix: sub-unification bug	2024-08-23 12:10:10 +09:00
Shunsuke Shibayama	7f16461767	WIP	2024-08-23 00:17:18 +09:00
Shunsuke Shibayama	c5279d71fb	build: update version (v0.6.42)	2024-08-22 21:44:30 +09:00
Shunsuke Shibayama	6ca396cec7	fix: infinite recursion of type variables	2024-08-22 21:27:28 +09:00
Shunsuke Shibayama	5814943fd5	Merge branch 'fix_inf_rec'	2024-08-22 14:45:44 +09:00
Shunsuke Shibayama	82551ad537	feat: impl some traits for frozenset	2024-08-22 14:31:39 +09:00
Shunsuke Shibayama	a3879ba174	WIP	2024-08-22 13:27:18 +09:00
Shunsuke Shibayama	6a45f25228	Update unify.rs	2024-08-22 00:53:15 +09:00
Shunsuke Shibayama	0868e5fb23	feat: error-tolerant lowering	2024-08-22 00:43:56 +09:00
Shunsuke Shibayama	fc976d38c5	Update error.rs	2024-08-21 11:40:37 +09:00
Shunsuke Shibayama	bc50ceeb6a	fix: method subtyping	2024-08-21 11:28:17 +09:00
Shunsuke Shibayama	af360a52cc	fix: constructor typing	2024-08-20 22:26:02 +09:00
Shunsuke Shibayama	78bca49755	build: update version (nightly.5)	2024-08-20 02:14:23 +09:00
Shunsuke Shibayama	a97ef9b8a6	Update typing.d.er	2024-08-20 01:54:35 +09:00
Shunsuke Shibayama	abd0201277	build: update version (nightly.4)	2024-08-20 01:26:12 +09:00
Shunsuke Shibayama	d433bcbcce	feat: args expansion	2024-08-20 01:20:42 +09:00
Shunsuke Shibayama	33b0212002	feat: set type variable	2024-08-19 22:45:15 +09:00
Shunsuke Shibayama	8eb8cd7c4a	chore: union method type	2024-08-19 12:30:23 +09:00
Shunsuke Shibayama	8c65bff3f9	build: update version (nightly.3)	2024-08-18 13:20:11 +09:00