207 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	839e54c5ff	fix: structural type bug	2024-12-27 03:19:09 +09:00
Shunsuke Shibayama	c34e013658	fix: ownership checker bug	2024-12-25 16:57:00 +09:00
Shunsuke Shibayama	03443d1b76	fix: type formatting bugs	2024-12-16 18:07:25 +09:00
Shunsuke Shibayama	5b8c2f6def	fix: infinite recursion bug	2024-12-13 01:42:36 +09:00
Shunsuke Shibayama	24dd989466	fix: clippy warnings	2024-11-29 11:08:25 +09:00
Shunsuke Shibayama	474b450093	fix: type-var comparison bug	2024-11-09 14:40:56 +09:00
Shunsuke Shibayama	c0d784302b	fix: type variable linking bug	2024-11-08 01:51:13 +09:00
Shunsuke Shibayama	87fb4cf6d1	fix: refinement subtyping bug	2024-11-03 10:40:30 +09:00
Shunsuke Shibayama	806c5a91e8	fix: type variable linking bug	2024-11-01 14:14:45 +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	75535a7c0f	fix: method resolution bug ... fix: performance regression	2024-10-20 16:50:05 +09:00
Shunsuke Shibayama	f0c5045699	chore: don't return Failure	2024-10-19 14:29:12 +09:00
Shunsuke Shibayama	41537f2aba	fix: dict type bug	2024-10-17 12:13:34 +09:00
Shunsuke Shibayama	1206e50e86	perf: reduce AST/HIR element size ... closes #530	2024-10-13 17:51:37 +09:00
Shunsuke Shibayama	af3b6ec3d7	feat(els): module hover link	2024-10-13 02:48:50 +09:00
Shunsuke Shibayama	4cd79cbb1a	fix: type coercion bug	2024-10-06 17:14:53 +09:00
Shunsuke Shibayama	a9cd32d553	chore: Failure == Any	2024-10-04 14:38:34 +09:00
Shunsuke Shibayama	afa03ab036	fix: type variable bug	2024-10-03 23:18:39 +09:00
Shunsuke Shibayama	a290684db8	fix: method inference bug	2024-10-02 12:20: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	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	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	9a05f22356	fix: infinite recursion bugs	2024-09-01 18:16:06 +09:00
Shunsuke Shibayama	46f08c4451	chore: uncomment code	2024-08-31 11:06:35 +09:00
Shunsuke Shibayama	52595bde1c	fix: infinite recursion bug	2024-08-30 15:16:09 +09:00
Shunsuke Shibayama	73f8be7ae1	fix: add set_recursion_limit!	2024-08-29 13:56:38 +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