303 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	144a05ec6b	fix: dict type bug	2024-09-28 00:29:48 +09:00
Shunsuke Shibayama	d90922c190	fix: recursive type bug	2024-09-26 16:45:21 +09:00
Shunsuke Shibayama	ff53af0cb6	feat: add RMul, RDiv ... * `And` has the default type index * impl `Dimension` traits	2024-09-20 20:36:55 +09:00
Shunsuke Shibayama	4651a383ae	feat: add Dimension and unit module	2024-09-20 18:26:29 +09:00
Shunsuke Shibayama	5009a0c499	feat: runtime collection type	2024-09-19 16:49:47 +09:00
Shunsuke Shibayama	1f51d188ea	fix: Type::has_type_satisfies	2024-09-17 16:04:45 +09:00
Shunsuke Shibayama	b84fee183d	Revert "Update mod.rs" ... This reverts commit cb9380f3aa.	2024-09-17 02:07:37 +09:00
Shunsuke Shibayama	9d88e8d7e7	fix: type variable linking bug	2024-09-17 02:00:51 +09:00
Shunsuke Shibayama	cb9380f3aa	Update mod.rs	2024-09-16 21:59:22 +09:00
Shunsuke Shibayama	6781db1588	Merge branch 'main' into perf_or_type	2024-09-16 21:31:53 +09:00
Shunsuke Shibayama	93305f2081	fix: type variable bugs	2024-09-16 21:31:10 +09:00
Shunsuke Shibayama	461e91703a	fix: union type bug (2)	2024-09-16 00:54:47 +09:00
Shunsuke Shibayama	3b9bbdf1a5	fix: union type bug	2024-09-15 17:11:06 +09:00
Shunsuke Shibayama	b0c31370c5	fix: Type::{And, Or}(Set<Type>)	2024-09-14 21:20:05 +09:00
Shunsuke Shibayama	82bc710827	fix: infinite recursion bug	2024-09-14 21:10:06 +09:00
Shunsuke Shibayama	beee3b8800	fix: recursion bugs of structural types	2024-09-10 23:21:39 +09:00
Shunsuke Shibayama	60ea11aa3e	fix: eliminate unsafe operations	2024-09-09 11:42:39 +09:00
Shunsuke Shibayama	cb6931e856	fix: use RwLockReadGuard::try_map	2024-09-08 05:37:07 +09:00
Shunsuke Shibayama	d6cc5b1c2b	fix: infinite recursion bug	2024-09-07 14:50:47 +09:00
Shunsuke Shibayama	f9eb562848	fix: infinite recursion bug ... add `Immutable` trait (Type: !Immutable)	2024-09-04 20:38:46 +09:00
Shunsuke Shibayama	de92e295dc	chore: add Float	2024-09-04 14:13:24 +09:00
Shunsuke Shibayama	a32da8e4a9	fix: type comparison bug	2024-09-04 00:40:57 +09:00
Shunsuke Shibayama	238a4c9458	fix: type comparison bug	2024-09-03 04:11:25 +09:00
Shunsuke Shibayama	4f95462000	chore: impl ignored match arms	2024-09-02 16:00:15 +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	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	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	6ca396cec7	fix: infinite recursion of type variables	2024-08-22 21:27:28 +09:00
Shunsuke Shibayama	a3879ba174	WIP	2024-08-22 13:27:18 +09:00
Shunsuke Shibayama	0868e5fb23	feat: error-tolerant lowering	2024-08-22 00:43:56 +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	e1ffa2d739	fix: borrow error	2024-08-16 15:00:12 +09:00
Shunsuke Shibayama	cd9973e800	fix: infinite recursion bug	2024-08-11 14:17:04 +09:00
Shunsuke Shibayama	9e0327a814	fix: inherited class constructor	2024-07-24 16:10:52 +09:00
Shunsuke Shibayama	575df7485a	chore: fix mod_name	2024-06-19 16:28:48 +09:00
Shunsuke Shibayama	bc23f9d045	chore: improve Type::replace_failure	2024-06-19 01:35:18 +09:00
Shunsuke Shibayama	13eaf8d3a7	fix: eliminate unwrap/unreachable	2024-06-17 13:09:50 +09:00