1080 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	c32feb58ed	perf: don't recheck in sub_unify	2024-09-27 11:01:55 +09:00
Shunsuke Shibayama	c965ea2c5b	perf: cache subtype relation judgement	2024-09-26 23:49:32 +09:00
Shunsuke Shibayama	d90922c190	fix: recursive type bug	2024-09-26 16:45:21 +09:00
Shunsuke Shibayama	6c57ed6cb5	fix: type-instantiation bug	2024-09-26 13:03:30 +09:00
Shunsuke Shibayama	0ce9a1a772	fix: sub-unification bug	2024-09-26 12:12:51 +09:00
Shunsuke Shibayama	a129141234	fix: incorrect typing & method resolution	2024-09-26 11:34:15 +09:00
GreasySlug	a2e8ba4322	fix(pathlib): use => since it's a procedure	2024-09-22 22:11:42 +09:00
Shunsuke Shibayama	1f5e9cbc9f	feat: add Generator ... * remove `GenericGenerator`	2024-09-22 21:49:11 +09:00
GreasySlug	0cffbd7249	feat(pathlib): add missing type annot for glob! and resolve! methods	2024-09-22 17:42:29 +09:00
Shunsuke Shibayama	6890d82441	fix: sub-unification bug	2024-09-22 01:51:15 +09:00
Shunsuke Shibayama	6ed0a1d997	fix: type decl check does not performed	2024-09-22 01:25:31 +09:00
Shunsuke Shibayama	9f435706a1	fix(pylyzer): declarations in control flow blocks	2024-09-21 23:38:26 +09:00
Shunsuke Shibayama	ebd7707f77	fix: traits can have impls	2024-09-21 22:42:56 +09:00
Shunsuke Shibayama	cdabb2e546	feat: add codecs/warnings module	2024-09-21 21:56:24 +09:00
Shunsuke Shibayama	3366043a2d	fix: Dict::get	2024-09-21 20:06:26 +09:00
Shunsuke Shibayama	f6145d01a5	fix: sub-unification bug	2024-09-21 16:02:52 +09:00
Shunsuke Shibayama	267c4a7761	fix: overload resolution bug	2024-09-21 15:55:14 +09:00
Shunsuke Shibayama	b3a7a6a4de	doc: change example code	2024-09-20 21:15:40 +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	1cdcefc63f	fix: disable parallelization by default	2024-09-19 15:36:37 +09:00
Shunsuke Shibayama	58b22c4179	fix: add debug assertions to PackageBuilder	2024-09-19 14:45:47 +09:00
Shunsuke Shibayama	040811744e	Merge pull request #521 from erg-lang/perf_or_type ... Change And/Or-type structures	2024-09-18 14:31:37 +09:00
Shunsuke Shibayama	43828f6bb8	chore: continue checking even if AST-linking failed	2024-09-18 14:30:10 +09:00
Shunsuke Shibayama	ae039c9f39	perf(els): improve diagnostics speed	2024-09-18 14:17:16 +09:00
Shunsuke Shibayama	df837d70d3	fix: sub-unification bug	2024-09-17 17:32:13 +09:00
Shunsuke Shibayama	1f51d188ea	fix: Type::has_type_satisfies	2024-09-17 16:04:45 +09:00
Shunsuke Shibayama	a876b34145	Update unify.rs	2024-09-17 02:38:07 +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	fd76f56ba4	Revert "debug: mark" ... This reverts commit 5eb0a50a23.	2024-09-16 21:32:01 +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	5eb0a50a23	debug: mark	2024-09-16 14:38:36 +09:00
Shunsuke Shibayama	5508f652fc	Update promise.rs	2024-09-16 11:53: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	46c349d25d	Update inquire.rs	2024-09-15 14:37:55 +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	9774a628fb	fix: refinement type bug	2024-09-15 01:20:10 +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	f78e4909de	chore: add feature single-thread	2024-09-13 01:07:25 +09:00
Shunsuke Shibayama	beee3b8800	fix: recursion bugs of structural types	2024-09-10 23:21:39 +09:00
Shunsuke Shibayama	948a14b1af	feat: display progress	2024-09-09 21:40:19 +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