Commit graph

215 commits

Author SHA1 Message Date
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
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