Shunsuke Shibayama
|
e7ff9f4ea7
|
perf: improve {Dict, Set}::hash
|
2024-10-03 16:31:16 +09:00 |
|
Shunsuke Shibayama
|
b0c31370c5
|
fix: Type::{And, Or}(Set<Type>)
|
2024-09-14 21:20:05 +09:00 |
|
Shunsuke Shibayama
|
f9eb562848
|
fix: infinite recursion bug
add `Immutable` trait (Type: !Immutable)
|
2024-09-04 20:38:46 +09:00 |
|
Shunsuke Shibayama
|
4bc596af00
|
fix: hash impl of Dict, Set
|
2024-09-04 14:10:32 +09:00 |
|
Shunsuke Shibayama
|
2f6717ba4f
|
build: update pyo3 to v0.21
|
2024-07-02 03:15:28 +09:00 |
|
Shunsuke Shibayama
|
ea6e3df982
|
chore: add log-level-error feature
|
2024-06-16 13:40:36 +09:00 |
|
Shunsuke Shibayama
|
74e89f6d5b
|
fix: polymorphic type spec instantiation bugs
|
2024-03-13 22:35:08 +09:00 |
|
Shunsuke Shibayama
|
3173db429a
|
chore: add TraitImpl::declared_in
|
2024-02-11 13:55:17 +09:00 |
|
Shunsuke Shibayama
|
f834585083
|
feat: impl setter for AST elements
|
2023-11-16 16:15:29 +09:00 |
|
Shunsuke Shibayama
|
557775581c
|
feat: add getters
|
2023-11-16 13:28:02 +09:00 |
|
Shunsuke Shibayama
|
e71c0d7720
|
chore: add Planner
|
2023-10-05 15:10:27 +09:00 |
|
Shunsuke Shibayama
|
5497af5626
|
fix(els): duplicated diagnostics
|
2023-09-16 12:14:24 +09:00 |
|
Shunsuke Shibayama
|
5f8d744e47
|
chore: union/intersection subtyping
|
2023-09-05 09:45:15 +09:00 |
|
Shunsuke Shibayama
|
eaeb659a7d
|
fix: errors in other modules are ignored
|
2023-06-22 16:32:10 +09:00 |
|
Shunsuke Shibayama
|
0329b1a2e3
|
chore: add Dereferencer
|
2023-04-01 18:08:15 +09:00 |
|
Shunsuke Shibayama
|
4ff0b64fc3
|
fix: type-instantiating bugs
|
2023-03-23 21:17:37 +09:00 |
|
Shunsuke Shibayama
|
4dcca2b06d
|
fix(typechecker): type generalization & dereference bugs
* `Context::subtype_of` now has `allow_cast` param. If this is `false`, cast-aware comparisons are not performed.
|
2023-02-21 17:04:52 +09:00 |
|
Shunsuke Shibayama
|
6a607870f3
|
fix: type quantification bugs
|
2023-02-20 20:38:36 +09:00 |
|
Shunsuke Shibayama
|
a127564b31
|
Rename dir: compiler -> crates
|
2023-01-15 12:03:19 +09:00 |
|