Commit graph

4045 commits

Author SHA1 Message Date
Shunsuke Shibayama
144a05ec6b fix: dict type bug 2024-09-28 00:29:48 +09:00
Shunsuke Shibayama
3f61bc5c17 feat(pylyzer): pseudo-method completion 2024-09-27 17:45:35 +09:00
Shunsuke Shibayama
1954d27a63 fix: method resolution bug 2024-09-27 17:39:43 +09:00
Shunsuke Shibayama
544fee8d59 build: update version (nightly.3) 2024-09-26 18:04:51 +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
c024b8f7be build: update version (nightly.2) 2024-09-26 12:16:35 +09:00
Shunsuke Shibayama
0ce9a1a772 fix: sub-unification bug 2024-09-26 12:12:51 +09:00
Shunsuke Shibayama
ab06244b2b chore(els): relax client health checking timeout 2024-09-26 11:35:05 +09:00
Shunsuke Shibayama
a129141234 fix: incorrect typing & method resolution 2024-09-26 11:34:15 +09:00
Slug
21caf6fe7e
Merge pull request #526 from GreasySlug/feat-pathlib
Add glob! and resolve! Methods in Pathlib.d.er
2024-09-23 09:51:05 +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
9a6b4899e6 build: update version (nightly.1) 2024-09-22 01:32:51 +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
1e3b3ded8c doc: fix badge URL 2024-09-20 23:01:18 +09:00
Shunsuke Shibayama
e50f285869
Merge pull request #524 from erg-lang/unit
add `Dimension` type and `unit` module
2024-09-20 22:51:07 +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
82848c10d6 feat: *-less multiplication
fix: #235
2024-09-19 19:47:51 +09:00
Shunsuke Shibayama
3e7edfc2b7 build: update version (nightly.0) 2024-09-19 16:51:49 +09:00
Shunsuke Shibayama
5009a0c499 feat: runtime collection type 2024-09-19 16:49:47 +09:00
Shunsuke Shibayama
222c2c382a build: update version (v0.6.44) 2024-09-19 15:46:07 +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
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