Commit graph

172 commits

Author SHA1 Message Date
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 unwraps 2024-03-29 01:35:30 +09:00
Shunsuke Shibayama
56f06a0a1e chore: eliminate unwraps 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