Commit graph

19 commits

Author SHA1 Message Date
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
Renamed from compiler/erg_common/set.rs (Browse further)