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 |
|