Shunsuke Shibayama
|
f612340e80
|
fix: range type definition bug
|
2024-02-26 01:35:41 +09:00 |
|
Shunsuke Shibayama
|
0bedeb51ab
|
feat: support using attributes in predicate
|
2024-02-24 13:23:02 +09:00 |
|
Shunsuke Shibayama
|
c9438f215a
|
fix: compile-time eval bug
|
2024-02-23 23:03:34 +09:00 |
|
Shunsuke Shibayama
|
67a9f88f61
|
fix: sub unification bug
|
2024-02-16 18:31:49 +09:00 |
|
Shunsuke Shibayama
|
5f652f3dd5
|
fix: sub unification bug
|
2024-02-16 17:50:57 +09:00 |
|
Shunsuke Shibayama
|
e236a65c21
|
fix: refinement type assert cast bug
|
2024-02-14 20:09:13 +09:00 |
|
Shunsuke Shibayama
|
66352ddd3a
|
feat: add const Array::{insert, remove_at, remove_all}
|
2024-02-09 12:47:17 +09:00 |
|
Shunsuke Shibayama
|
8189d1cfc4
|
fix: callable object bug
|
2024-02-02 02:24:43 +09:00 |
|
Shunsuke Shibayama
|
284146843b
|
fix: refinement type bug
|
2024-01-30 12:18:27 +09:00 |
|
Shunsuke Shibayama
|
7ed39e3281
|
fix: dependent refinement type bug
|
2024-01-30 01:06:03 +09:00 |
|
Shunsuke Shibayama
|
d1fa616aea
|
feat: eval const call/lambda in refinement types
rename: `Shape` -> `HasShape`
|
2024-01-29 18:10:26 +09:00 |
|
Shunsuke Shibayama
|
d59a4e82d3
|
feat: const abs/all/any/len/map
|
2024-01-29 13:29:39 +09:00 |
|
Shunsuke Shibayama
|
0f3d228997
|
fix: type-parameter unification bug
|
2024-01-29 02:09:24 +09:00 |
|
Shunsuke Shibayama
|
06a4a6e5fc
|
feat: add Predicate::General{Less, Greater, Not}Equal
|
2024-01-28 20:24:14 +09:00 |
|
Shunsuke Shibayama
|
4393649ffc
|
feat: add Predicate::{Call, GeneralEqual}
|
2024-01-28 18:33:00 +09:00 |
|
Shunsuke Shibayama
|
c514d0d83d
|
fix(els): rename not working
|
2024-01-24 22:15:58 +09:00 |
|
Shunsuke Shibayama
|
2ddff1512f
|
fix: const call bug
|
2023-12-30 21:53:38 +09:00 |
|
Shunsuke Shibayama
|
edfabd97e7
|
refactor: fix warns
|
2023-12-29 12:30:41 +09:00 |
|
Shunsuke Shibayama
|
a2d1809cee
|
fix: cyclic reference modules bugs
|
2023-12-28 14:59:14 +09:00 |
|
Shunsuke Shibayama
|
905a03d578
|
fix: external type specification bug
|
2023-12-13 23:33:06 +09:00 |
|
Shunsuke Shibayama
|
529d3892bf
|
fix: container type inference bugs
|
2023-12-11 00:15:13 +09:00 |
|
Shunsuke Shibayama
|
4407999c19
|
feat: add SubrType::kw_var_params
|
2023-11-12 12:22:48 +09:00 |
|
Shunsuke Shibayama
|
a6336fa896
|
feat: support inherited refinement types
|
2023-10-31 12:24:41 +09:00 |
|
Shunsuke Shibayama
|
678c02faf9
|
feat: support refinement class
|
2023-10-31 02:23:50 +09:00 |
|
Shunsuke Shibayama
|
6058339e3f
|
chore: add TypeContext , MethodContext
|
2023-10-29 17:33:21 +09:00 |
|
Shunsuke Shibayama
|
5096843bc5
|
fix: array type inffering
|
2023-10-16 23:16:39 +09:00 |
|
Shunsuke Shibayama
|
0a24c0cb77
|
fix: dict update! bug
|
2023-10-14 21:38:12 +09:00 |
|
Shunsuke Shibayama
|
fdb7c69431
|
chore: avoid type var recursion
|
2023-10-12 16:12:10 +09:00 |
|
Shunsuke Shibayama
|
92bb79885a
|
fix: type spec bug
|
2023-10-08 00:07:13 +09:00 |
|
Shunsuke Shibayama
|
13a346e488
|
feat: add Dict.concat/diff , Dict!.merge!/remove!
|
2023-10-05 00:57:08 +09:00 |
|
Shunsuke Shibayama
|
24da5cdfbd
|
fix: [x; _] bug
|
2023-10-02 22:50:17 +09:00 |
|
Shunsuke Shibayama
|
cce95e7210
|
fix: crack crash
|
2023-10-02 21:50:59 +09:00 |
|
Shunsuke Shibayama
|
f1d71e0dab
|
feat: add [x; _] literal
|
2023-10-02 20:49:21 +09:00 |
|
Shunsuke Shibayama
|
c985fcb4d8
|
chore: instantiate_param_ty to be Failable
|
2023-09-30 11:13:37 +09:00 |
|
Shunsuke Shibayama
|
57d3a23aed
|
feat: impl Hash for Array
|
2023-09-18 19:44:37 +09:00 |
|
Shunsuke Shibayama
|
712d4e2b73
|
feat: bidi for containers
|
2023-09-05 19:38:33 +09:00 |
|
Shunsuke Shibayama
|
75b5b68831
|
feat: introduce bidirectional type checking
|
2023-09-05 16:44:38 +09:00 |
|
Shunsuke Shibayama
|
b5ee614c53
|
Update eval.rs
|
2023-08-26 22:28:52 +09:00 |
|
Shunsuke Shibayama
|
653993f637
|
fix: const record member definition
|
2023-08-26 16:44:00 +09:00 |
|
Shunsuke Shibayama
|
f3b188e095
|
feat: support recursive class definition
|
2023-08-25 21:02:47 +09:00 |
|
Shunsuke Shibayama
|
936b6e2f95
|
chore: eliminate clippy warns
|
2023-08-24 23:38:27 +09:00 |
|
Shunsuke Shibayama
|
75081ac3aa
|
fix: type-parameter unification
|
2023-08-23 18:02:04 +09:00 |
|
Shunsuke Shibayama
|
3724a74649
|
fix: undo leak bug & sub-unification bugs
|
2023-08-22 21:45:25 +09:00 |
|
Shunsuke Shibayama
|
a0ce142f7b
|
chore: add record examples
|
2023-08-20 10:58:33 +09:00 |
|
Shunsuke Shibayama
|
5e71bd7fd0
|
feat: add Record.as_dict()
|
2023-08-20 02:02:53 +09:00 |
|
Shunsuke Shibayama
|
927de74eee
|
chore: add Self substitution
|
2023-08-17 19:25:17 +09:00 |
|
Shunsuke Shibayama
|
83beaea214
|
fix: type substitution bugs
|
2023-08-15 13:55:21 +09:00 |
|
Shunsuke Shibayama
|
28d173758f
|
chore: add TyParam::DataClass
|
2023-08-15 01:23:53 +09:00 |
|
Shunsuke Shibayama
|
5f6d530602
|
fix: type substitution bug
|
2023-08-13 13:44:52 +09:00 |
|
Shunsuke Shibayama
|
2e9fb48f2e
|
fix: in operator
* remove `In` trait, `__in__`, `__notin__` function
* desugar to `__contains__`
* impl Collection for Array, Set, Tuple
|
2023-08-13 01:01:06 +09:00 |
|