Commit graph

1542 commits

Author SHA1 Message Date
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
Shunsuke Shibayama
d3dad7ac95 build: update version (nightly.1) 2024-09-01 20:40:39 +09:00
Shunsuke Shibayama
2321bdc9fa fix: sub-unification bug 2024-09-01 20:25:51 +09:00
Shunsuke Shibayama
475ace0966 build: update version (nightly.0) 2024-09-01 18:29:41 +09:00
Shunsuke Shibayama
b5092e7890
Merge pull request #518 from erg-lang/fix_inf_rec
Fix infinite recursion bugs
2024-09-01 18:23:58 +09:00
Shunsuke Shibayama
9a05f22356 fix: infinite recursion bugs 2024-09-01 18:16:06 +09:00
Shunsuke Shibayama
0bc22e2b73 feat: add float func 2024-09-01 12:54:40 +09:00
Shunsuke Shibayama
46f08c4451 chore: uncomment code 2024-08-31 11:06:35 +09:00
Shunsuke Shibayama
d2460b9dde Update free.rs 2024-08-31 02:43:32 +09:00