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 |
|
Shunsuke Shibayama
|
2f33c9b15d
|
Add Del
|
2022-10-03 21:44:59 +09:00 |
|
Shunsuke Shibayama
|
6fb4ab2dcb
|
Delete useless superclass declaration operations
|
2022-10-03 20:31:56 +09:00 |
|
GreasySlug
|
6e6edb5d7e
|
Add: lower for the set literal
|
2022-10-03 17:21:59 +09:00 |
|
Shunsuke Shibayama
|
b6bd3d296e
|
Add type displaying mode
|
2022-10-03 13:36:24 +09:00 |
|
Shunsuke Shibayama
|
1846767afa
|
remove todo!() s
|
2022-10-03 12:25:28 +09:00 |
|
Shunsuke Shibayama
|
a39790e5fb
|
Update eval.rs
|
2022-10-03 01:13:54 +09:00 |
|
Shunsuke Shibayama
|
e55ab8c027
|
Add Show trait
|
2022-10-03 01:02:49 +09:00 |
|
Shunsuke Shibayama
|
4f6fbb50d0
|
Delete useless parameters
|
2022-10-03 00:46:39 +09:00 |
|
Shunsuke Shibayama
|
60bc94058a
|
Changed type of tmp_tv_ctx from &mut to &
|
2022-10-02 20:12:25 +09:00 |
|
Shunsuke Shibayama
|
a4f0ad4024
|
Add and , or type parsing
|
2022-10-02 11:53:15 +09:00 |
|
Shunsuke Shibayama
|
05c434781b
|
Fix a type instantiating bug
|
2022-10-02 11:37:01 +09:00 |
|
Shunsuke Shibayama
|
3147dfb1d8
|
Fixed to define subroutine as Type::Failure even if type checking fails
|
2022-10-01 16:07:03 +09:00 |
|
Shunsuke Shibayama
|
2c15b057de
|
Add occur check
|
2022-10-01 16:04:28 +09:00 |
|