Shunsuke Shibayama
|
29d270c0b3
|
fix: type substitution bug
|
2025-02-21 22:01:13 +09:00 |
|
Shunsuke Shibayama
|
dfb2e43345
|
fix: type instantiation bug
|
2025-02-21 18:02:22 +09:00 |
|
Shunsuke Shibayama
|
b0d75dba36
|
fix: const attribute/method evaluation bugs (2)
|
2025-01-04 19:29:12 +09:00 |
|
Shunsuke Shibayama
|
987b5f1f99
|
fix: SubrType::kw_var_params bugs
|
2025-01-04 19:01:50 +09:00 |
|
Shunsuke Shibayama
|
fb99eb0f76
|
fix: const attribute/method evaluation bugs
|
2025-01-04 15:58:20 +09:00 |
|
Shunsuke Shibayama
|
973b0658f4
|
fix: singleton type bug
impl `List(T, N) <: Mul({M})`
|
2024-12-22 14:28:00 +09:00 |
|
Shunsuke Shibayama
|
dc18307e3a
|
fix: Predicate::Or(Set<Predicate>)
|
2024-11-30 21:51:02 +09:00 |
|
Shunsuke Shibayama
|
b84019819d
|
fix: pred type instantiation bug
|
2024-11-13 21:03:02 +09:00 |
|
Shunsuke Shibayama
|
474b450093
|
fix: type-var comparison bug
|
2024-11-09 14:40:56 +09:00 |
|
Shunsuke Shibayama
|
87fb4cf6d1
|
fix: refinement subtyping bug
|
2024-11-03 10:40:30 +09:00 |
|
Shunsuke Shibayama
|
e8d98e5431
|
fix: type comparision bug
|
2024-10-18 15:14:47 +09:00 |
|
Shunsuke Shibayama
|
5b79854886
|
fix: type instantiation bug
|
2024-10-18 12:46:55 +09:00 |
|
Shunsuke Shibayama
|
41537f2aba
|
fix: dict type bug
|
2024-10-17 12:13:34 +09:00 |
|
Shunsuke Shibayama
|
566b9aa3c1
|
fix: subtype relation bug
|
2024-10-16 00:41:49 +09:00 |
|
Shunsuke Shibayama
|
1206e50e86
|
perf: reduce AST/HIR element size
closes #530
|
2024-10-13 17:51:37 +09:00 |
|
Shunsuke Shibayama
|
4cd79cbb1a
|
fix: type coercion bug
|
2024-10-06 17:14:53 +09:00 |
|
Shunsuke Shibayama
|
3066781092
|
fix: don't pass Ref as arg to recursive calls
|
2024-10-04 11:16:51 +09:00 |
|
Shunsuke Shibayama
|
144a05ec6b
|
fix: dict type bug
|
2024-09-28 00:29:48 +09:00 |
|
Shunsuke Shibayama
|
d90922c190
|
fix: recursive type bug
|
2024-09-26 16:45:21 +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
|
a0810adc9c
|
Merge branch 'main' into perf_or_type
|
2024-09-15 12:49:18 +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
|
60ea11aa3e
|
fix: eliminate unsafe operations
|
2024-09-09 11:42:39 +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
|
f9eb562848
|
fix: infinite recursion bug
add `Immutable` trait (Type: !Immutable)
|
2024-09-04 20:38:46 +09:00 |
|
Shunsuke Shibayama
|
535a59e5f7
|
fix: type evaluation bug
|
2024-09-03 00:30:02 +09:00 |
|
Shunsuke Shibayama
|
7cd895a30e
|
chore: change logical operations order
|
2024-09-02 19:38:41 +09:00 |
|
Shunsuke Shibayama
|
52595bde1c
|
fix: infinite recursion bug
|
2024-08-30 15:16:09 +09:00 |
|
Shunsuke Shibayama
|
73f8be7ae1
|
fix: add set_recursion_limit!
|
2024-08-29 13:56:38 +09:00 |
|
Shunsuke Shibayama
|
de3b3a467b
|
chore: remove ValueObj: TryFrom<TyParam>
|
2024-08-29 13:54:34 +09:00 |
|
Shunsuke Shibayama
|
4622a0b6be
|
Update eval.rs
|
2024-08-24 13:46:54 +09:00 |
|
Shunsuke Shibayama
|
7a960f2cbb
|
chore: add Predicate::{map_t, map_tp}
|
2024-08-23 14:53:40 +09:00 |
|
Shunsuke Shibayama
|
82551ad537
|
feat: impl some traits for frozenset
|
2024-08-22 14:31:39 +09:00 |
|
Shunsuke Shibayama
|
4da45eb842
|
chore: error report delay with variable defs
|
2024-08-18 13:18:20 +09:00 |
|
Shunsuke Shibayama
|
e1ffa2d739
|
fix: borrow error
|
2024-08-16 15:00:12 +09:00 |
|
Shunsuke Shibayama
|
fa2c53461d
|
fix: generalization is not performed for some types
|
2024-05-07 22:31:17 +09:00 |
|
Shunsuke Shibayama
|
02a67567d3
|
fix: tuple iterator bug
|
2024-04-28 15:28:20 +09:00 |
|
Shunsuke Shibayama
|
1c699cc2f3
|
feat: add Sealed trait
|
2024-04-27 13:52:15 +09:00 |
|
Shunsuke Shibayama
|
4396695ad6
|
fix: default parameter bug
|
2024-04-24 13:54:56 +09:00 |
|
Shunsuke Shibayama
|
1f88084360
|
feat: best-effort type instantiation
|
2024-04-20 22:51:14 +09:00 |
|
Shunsuke Shibayama
|
c6eb78a44d
|
refactor!: rename Array -> List
|
2024-04-04 23:24:07 +09:00 |
|
Shunsuke Shibayama
|
107d466e57
|
chore: eliminate unwrap s
|
2024-03-29 01:35:30 +09:00 |
|
Shunsuke Shibayama
|
56f06a0a1e
|
chore: eliminate unwrap s
|
2024-03-25 15:14:48 +09:00 |
|
Shunsuke Shibayama
|
7d6ea6cf77
|
chore: add sub_unify_with_coercion
|
2024-03-21 14:00:26 +09:00 |
|
Shunsuke Shibayama
|
bd39393746
|
feat: type narrowing with filter
|
2024-03-21 11:56:17 +09:00 |
|
Shunsuke Shibayama
|
74e89f6d5b
|
fix: polymorphic type spec instantiation bugs
|
2024-03-13 22:35:08 +09:00 |
|
Shunsuke Shibayama
|
f612340e80
|
fix: range type definition bug
|
2024-02-26 01:35:41 +09:00 |
|