Shunsuke Shibayama
|
ff1ead75ff
|
Implement Range
|
2022-10-10 13:51:07 +09:00 |
|
Shunsuke Shibayama
|
627f64e081
|
Fix: handling of literal parsing failures
|
2022-10-10 11:51:26 +09:00 |
|
Shunsuke Shibayama
|
e02def52ab
|
Implement Array/SetWithLength
|
2022-10-10 00:05:55 +09:00 |
|
Shunsuke Shibayama
|
87bfe836ec
|
Fix: recognize [Nat; 3] and others as types.
|
2022-10-09 23:40:37 +09:00 |
|
Shunsuke Shibayama
|
ea4c4d87b4
|
Update mod.rs
|
2022-10-09 21:47:56 +09:00 |
|
Shunsuke Shibayama
|
5c0b149d0a
|
Update mod.rs
|
2022-10-09 21:40:18 +09:00 |
|
Shunsuke Shibayama
|
aa7ae368dc
|
Fix assert casting
|
2022-10-09 20:29:30 +09:00 |
|
Shunsuke Shibayama
|
22167c8aa1
|
Update register.rs
|
2022-10-09 20:02:30 +09:00 |
|
Shunsuke Shibayama
|
befe2cf835
|
WIP
|
2022-10-09 18:07:52 +09:00 |
|
Shunsuke Shibayama
|
e74c9fa707
|
Fix an inferring bug
|
2022-10-09 10:41:03 +09:00 |
|
Shunsuke Shibayama
|
0ac63d8362
|
Merge branch 'main' into assert-casting
|
2022-10-09 09:37:45 +09:00 |
|
Shunsuke Shibayama
|
de1180387c
|
Implement assert casting
|
2022-10-09 00:14:50 +09:00 |
|
Shunsuke Shibayama
|
2bc861cbde
|
More names to put out with get_similar_name
|
2022-10-08 22:21:53 +09:00 |
|
Shunsuke Shibayama
|
ea75a3d5df
|
Update SubstContext
|
2022-10-08 11:07:01 +09:00 |
|
Shunsuke Shibayama
|
11164c3634
|
Update mod.rs
|
2022-10-08 10:39:03 +09:00 |
|
Shunsuke Shibayama
|
b8b6acdf3a
|
Rename: Type::Class -> Type::ClassType
|
2022-10-08 10:38:46 +09:00 |
|
Shunsuke Shibayama
|
090841b465
|
Update mod.rs
|
2022-10-07 22:16:05 +09:00 |
|
Shunsuke Shibayama
|
c4d2e9ee4c
|
Merge branch 'main' into pr/191
|
2022-10-07 22:15:35 +09:00 |
|
Shunsuke Shibayama
|
7cb6c34ac2
|
Update fmt
|
2022-10-07 22:08:52 +09:00 |
|
Shunsuke Shibayama
|
420841cf4f
|
Update mod.rs
|
2022-10-07 21:55:29 +09:00 |
|
Shunsuke Shibayama
|
ebb01ccb7e
|
change the return type of get_nominal_ctx
|
2022-10-07 21:55:09 +09:00 |
|
Shunsuke Shibayama
|
b8af453865
|
WIP
|
2022-10-07 21:37:32 +09:00 |
|
Shunsuke Shibayama
|
4968076541
|
bug fixes
|
2022-10-07 20:15:53 +09:00 |
|
Shunsuke Shibayama
|
51d55dc2ff
|
Fix: trait existence checking bug
|
2022-10-07 19:30:12 +09:00 |
|
Shunsuke Shibayama
|
5d75c13e87
|
WIP
|
2022-10-07 18:26:57 +09:00 |
|
Shunsuke Shibayama
|
8d50e65400
|
Merge branch 'feature/implement-set' of https://github.com/GreasySlug/erg into pr/191
|
2022-10-07 18:26:24 +09:00 |
|
GreasySlug
|
ecb7ffb7f1
|
Clean: add and change to block comment
|
2022-10-07 16:53:48 +09:00 |
|
Shunsuke Shibayama
|
4fd5f30037
|
WIP
|
2022-10-07 16:47:33 +09:00 |
|
Shunsuke Shibayama
|
d62ec0f78f
|
WIP
|
2022-10-07 14:17:06 +09:00 |
|
Shunsuke Shibayama
|
2cf4b5aba8
|
Add SetTypeSpec
|
2022-10-07 10:59:58 +09:00 |
|
GreasySlug
|
86203cc242
|
Add: comments
|
2022-10-06 20:41:15 +09:00 |
|
GreasySlug
|
129f67b925
|
Add: builtin Set and Set_mut
|
2022-10-06 20:40:54 +09:00 |
|
Shunsuke Shibayama
|
fa4ed7ff34
|
Update mod.rs
|
2022-10-06 17:07:58 +09:00 |
|
Shunsuke Shibayama
|
d9460b78c1
|
Update mod.rs
|
2022-10-06 15:42:46 +09:00 |
|
Shunsuke Shibayama
|
154b56b2a7
|
Update inquire.rs
|
2022-10-06 13:47:50 +09:00 |
|
Shunsuke Shibayama
|
6b14add8f8
|
Merge branch 'main' into pr/191
|
2022-10-06 11:57:49 +09:00 |
|
Shunsuke Shibayama
|
28f0ffeeb4
|
Update mod.rs
|
2022-10-06 10:40:18 +09:00 |
|
Shunsuke Shibayama
|
32c07fefcc
|
Update mod.rs
|
2022-10-06 10:29:04 +09:00 |
|
Shunsuke Shibayama
|
bd4073ec29
|
Add Context::get_receiver_ctx
|
2022-10-06 10:19:01 +09:00 |
|
Shunsuke Shibayama
|
e89bb869bf
|
Raise the priority of traits in method search
|
2022-10-06 09:16:14 +09:00 |
|
Shunsuke Shibayama
|
59f6046916
|
Fix method type inference for type variables
|
2022-10-06 00:27:43 +09:00 |
|
Shunsuke Shibayama
|
6ea4dae122
|
Impl Show for some builtin types
|
2022-10-05 21:12:35 +09:00 |
|
Shunsuke Shibayama
|
85c6057d7c
|
Fix subtyping bugs
|
2022-10-05 11:53:29 +09:00 |
|
Shunsuke Shibayama
|
4d7181f2f0
|
Add trait implementation check
|
2022-10-05 02:10:27 +09:00 |
|
Shunsuke Shibayama
|
9751cf5d76
|
Fix type checking of union/intersection types
|
2022-10-05 00:43:30 +09:00 |
|
Shunsuke Shibayama
|
29763062af
|
Add ParamTy::KwWithDefault
|
2022-10-05 00:17:26 +09:00 |
|
Shunsuke Shibayama
|
a3f71120ae
|
Fix type inferring bugs
|
2022-10-04 12:53:05 +09:00 |
|
GreasySlug
|
20cc00d173
|
Add: impl set with len and register builtin ctx
|
2022-10-04 08:32:57 +09:00 |
|
GreasySlug
|
70dad0bda6
|
Clean: use elem not attrs and adjust fmt
|
2022-10-04 08:32:57 +09:00 |
|
Shunsuke Shibayama
|
6d903d2575
|
Add procedure assignment check
|
2022-10-03 23:09:07 +09:00 |
|