167 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	64cdacc787	fix: structural type bug	2025-01-17 15:43:13 +09:00
Shunsuke Shibayama	f41264534e	fix: relax default limit of set_recursion_limit	2024-12-31 13:46:52 +09:00
Shunsuke Shibayama	d3304b3491	fix: incorrect Dict!.update! typing	2024-12-29 18:28:50 +09:00
Shunsuke Shibayama	dc18307e3a	fix: Predicate::Or(Set<Predicate>)	2024-11-30 21:51:02 +09:00
Shunsuke Shibayama	8f2936bafd	fix: intersection type bug	2024-11-15 00:59:55 +09:00
Shunsuke Shibayama	b84bd19237	fix: type-var comparison bug	2024-11-08 19:18:09 +09:00
Shunsuke Shibayama	5bbb421b7f	fix: subtype relation bug	2024-11-08 13:14:28 +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	07b98112a7	fix: dict type bug	2024-10-19 03:11:14 +09:00
Shunsuke Shibayama	e8d98e5431	fix: type comparision bug	2024-10-18 15:14:47 +09:00
Shunsuke Shibayama	566b9aa3c1	fix: subtype relation bug	2024-10-16 00:41:49 +09:00
Shunsuke Shibayama	1206e50e86	perf: reduce AST/HIR element size ... closes #530	2024-10-13 17:51:37 +09:00
Shunsuke Shibayama	4cd79cbb1a	fix: type coercion bug	2024-10-06 17:14:53 +09:00
Shunsuke Shibayama	1d16dd724a	fix: minor bugs	2024-10-05 13:59:01 +09:00
Shunsuke Shibayama	a9cd32d553	chore: Failure == Any	2024-10-04 14:38:34 +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	80eae7654c	fix: dict type bugs	2024-10-02 21:26:59 +09:00
Shunsuke Shibayama	a49081161b	fix: check subtype field types mismatch	2024-10-01 17:32:06 +09:00
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	df837d70d3	fix: sub-unification bug	2024-09-17 17:32:13 +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	a0810adc9c	Merge branch 'main' into perf_or_type	2024-09-15 12:49:18 +09:00
Shunsuke Shibayama	d87c5d552c	fix: function subtyping bug	2024-09-15 12:48:33 +09:00
Shunsuke Shibayama	b0c31370c5	fix: Type::{And, Or}(Set<Type>)	2024-09-14 21:20:05 +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	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	9a05f22356	fix: infinite recursion bugs	2024-09-01 18:16:06 +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	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	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	0875c7e5c9	fix: structural type check	2024-08-09 13:38:04 +09:00
Shunsuke Shibayama	fa2c53461d	fix: generalization is not performed for some types	2024-05-07 22:31:17 +09:00
Shunsuke Shibayama	1c699cc2f3	feat: add Sealed trait	2024-04-27 13:52:15 +09:00
Shunsuke Shibayama	3d7283cb01	fix: {default, variable} parameter bugs	2024-04-24 15:24:05 +09:00