160 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	37c250a5d4	Revert "fix: unification bug" ... This reverts commit a10bc83d99.	2025-02-25 17:15:13 +09:00
Shunsuke Shibayama	3dca63a597	fix: unification bug	2025-02-25 16:20:00 +09:00
Shunsuke Shibayama	eb67a33a12	Revert "fix: type-var bug" ... This reverts commit 6fff8955bb.	2025-02-25 16:09:24 +09:00
Shunsuke Shibayama	a10bc83d99	fix: unification bug	2025-02-25 15:33:21 +09:00
Shunsuke Shibayama	6fff8955bb	fix: type-var bug	2025-02-22 11:43:26 +09:00
Shunsuke Shibayama	1a2924512b	fix: sub-unification bug of self	2025-02-22 01:04:01 +09:00
Shunsuke Shibayama	f41264534e	fix: relax default limit of set_recursion_limit	2024-12-31 13:46:52 +09:00
Shunsuke Shibayama	60fbcefd14	fix: projection type inference	2024-12-30 14:29:29 +09:00
Shunsuke Shibayama	0d4777830e	fix: type unification bug	2024-12-29 11:18:46 +09:00
Shunsuke Shibayama	973b0658f4	fix: singleton type bug ... impl `List(T, N) <: Mul({M})`	2024-12-22 14:28:00 +09:00
Shunsuke Shibayama	43fbb7dbfd	fix: infinite recursion bug	2024-12-07 21:40:58 +09:00
Shunsuke Shibayama	dc18307e3a	fix: Predicate::Or(Set<Predicate>)	2024-11-30 21:51:02 +09:00
Shunsuke Shibayama	24dd989466	fix: clippy warnings	2024-11-29 11:08:25 +09:00
Shunsuke Shibayama	e18049f04e	fix: guard type bugs	2024-11-04 15:09:32 +09:00
Shunsuke Shibayama	87fb4cf6d1	fix: refinement subtyping bug	2024-11-03 10:40:30 +09:00
Shunsuke Shibayama	b3474e78d6	fix: avoid infinite recursion (2)	2024-10-24 01:55:03 +09:00
Shunsuke Shibayama	3bef190c6e	fix: avoid infinite recursion	2024-10-21 02:08:58 +09:00
Shunsuke Shibayama	429e673d6c	fix: performance regression	2024-10-20 17:10:06 +09:00
Shunsuke Shibayama	01a5938c29	chore: add ast::VarPattern::Phi	2024-10-20 14:25:29 +09:00
Shunsuke Shibayama	5b79854886	fix: type instantiation bug	2024-10-18 12:46:55 +09:00
Shunsuke Shibayama	41537f2aba	fix: dict type bug	2024-10-17 12:13:34 +09:00
Shunsuke Shibayama	566b9aa3c1	fix: subtype relation bug	2024-10-16 00:41:49 +09:00
Shunsuke Shibayama	32528cd72a	chore: improve no-attr error hint	2024-10-15 15:53:42 +09:00
Shunsuke Shibayama	4cd79cbb1a	fix: type coercion bug	2024-10-06 17:14:53 +09:00
Shunsuke Shibayama	3066781092	fix: don't pass Ref as arg to recursive calls	2024-10-04 11:16:51 +09:00
Shunsuke Shibayama	f862a3f13a	fix: collection bugs	2024-10-03 13:55:10 +09:00
Shunsuke Shibayama	80eae7654c	fix: dict type bugs	2024-10-02 21:26:59 +09:00
Shunsuke Shibayama	144a05ec6b	fix: dict type bug	2024-09-28 00:29:48 +09:00
Shunsuke Shibayama	0ce9a1a772	fix: sub-unification bug	2024-09-26 12:12:51 +09:00
Shunsuke Shibayama	6890d82441	fix: sub-unification bug	2024-09-22 01:51:15 +09:00
Shunsuke Shibayama	f6145d01a5	fix: sub-unification bug	2024-09-21 16:02:52 +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	df837d70d3	fix: sub-unification bug	2024-09-17 17:32:13 +09:00
Shunsuke Shibayama	a876b34145	Update unify.rs	2024-09-17 02:38:07 +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	60ea11aa3e	fix: eliminate unsafe operations	2024-09-09 11:42:39 +09:00
Shunsuke Shibayama	cd2a741fc6	fix: clippy warnings	2024-09-06 13:56:28 +09:00
Shunsuke Shibayama	f9eb562848	fix: infinite recursion bug ... add `Immutable` trait (Type: !Immutable)	2024-09-04 20:38:46 +09:00
Shunsuke Shibayama	7cd895a30e	chore: change logical operations order	2024-09-02 19:38:41 +09:00
Shunsuke Shibayama	2321bdc9fa	fix: sub-unification bug	2024-09-01 20:25:51 +09:00
Shunsuke Shibayama	9a05f22356	fix: infinite recursion bugs	2024-09-01 18:16:06 +09:00
Shunsuke Shibayama	7e48a2f9c8	fix: ignored match arms	2024-08-29 02:37:19 +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