1500 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	ed6ad90fa7	build: update version (nightly.0)	2024-09-19 01:54:18 +09:00
Shunsuke Shibayama	2d5aed6ec9	chore(els): id can be passed as a string	2024-09-18 23:12:12 +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	9f789199b9	perf: python_sys_path call once	2024-09-14 21:08:01 +09:00
Shunsuke Shibayama	f78e4909de	chore: add feature single-thread	2024-09-13 01:07:25 +09:00
Slug	80b64260ab	Merge pull request #520 from GreasySlug/fix-comprehension ... Fix List Comprehension Syntax	2024-09-11 22:12:12 +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
GreasySlug	6834fbcb8b	fix(parser): fix comprehension syntax(#495)	2024-09-08 15:11:01 +09:00
Shunsuke Shibayama	cb6931e856	fix: use RwLockReadGuard::try_map	2024-09-08 05:37:07 +09:00
Shunsuke Shibayama	ffe02f18e6	build: update version (v0.6.43)	2024-09-08 03:10:05 +09:00
Shunsuke Shibayama	015dc2a0f3	feat: add ftplib type decls	2024-09-08 03:06:57 +09:00
Shunsuke Shibayama	d6cc5b1c2b	fix: infinite recursion bug	2024-09-07 14:50:47 +09:00
Shunsuke Shibayama	cd2a741fc6	fix: clippy warnings	2024-09-06 13:56:28 +09:00
Shunsuke Shibayama	9d684d33cc	chore: add dependency w-boson	2024-09-06 13:33:35 +09:00
Shunsuke Shibayama	9e781b9f2c	build: update version (nightly.4)	2024-09-04 21:02:59 +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	4bc596af00	fix: hash impl of Dict, Set	2024-09-04 14:10:32 +09:00
Shunsuke Shibayama	a32da8e4a9	fix: type comparison bug	2024-09-04 00:40:57 +09:00
Shunsuke Shibayama	94fc05ddd0	Update error.rs	2024-09-03 21:08:27 +09:00
Shunsuke Shibayama	bb2c4a6384	build: update version (nightly.3)	2024-09-03 15:34:06 +09:00
Shunsuke Shibayama	238a4c9458	fix: type comparison bug	2024-09-03 04:11:25 +09:00
Shunsuke Shibayama	535a59e5f7	fix: type evaluation bug	2024-09-03 00:30:02 +09:00
Shunsuke Shibayama	5ac731f673	build: update version (nightly.2)	2024-09-02 20:44:09 +09:00
Shunsuke Shibayama	7cd895a30e	chore: change logical operations order	2024-09-02 19:38:41 +09:00
Shunsuke Shibayama	57559b6b9f	Update server.rs	2024-09-02 19:24:56 +09:00
Shunsuke Shibayama	4f95462000	chore: impl ignored match arms	2024-09-02 16:00:15 +09:00