Commit graph

380 commits

Author SHA1 Message Date
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
5396b13e6d Update version (v0.5.7) 2022-10-07 22:36:59 +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
Shunsuke Shibayama
3112fb31a9 Add Eq check 2022-10-06 22:58:44 +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
GreasySlug
b76b4cce4e Update: translate to zh_ch and zh_tw 2022-10-06 17:10:52 +09:00
Shunsuke Shibayama
fa4ed7ff34 Update mod.rs 2022-10-06 17:07:58 +09:00
Shunsuke Shibayama
42970ac8c3 Update version (nightly) 2022-10-06 16:15:47 +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
31ba27908d Update lower.rs 2022-10-06 12:07:16 +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
1e5d0dd70f Update version (nightly) 2022-10-06 09:18:16 +09:00
Shunsuke Shibayama
e89bb869bf Raise the priority of traits in method search 2022-10-06 09:16:14 +09:00
GreasySlug
d288a3a226 Clean: Avoid using clone and warning of duplicated 2022-10-06 08:48:50 +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
GreasySlug
0fc413708e Fix: use const set and remove const declare 2022-10-05 14:36:48 +09:00
GreasySlug
bdbfcbd846 Add: emit expr of set 2022-10-05 13:15:50 +09:00
Shunsuke Shibayama
f8fa992930 Update version (nightly) 2022-10-05 11:58:14 +09:00
Shunsuke Shibayama
85c6057d7c Fix subtyping bugs 2022-10-05 11:53:29 +09:00
GreasySlug
bb96853cbe Add: check side-effects and ownership 2022-10-05 09:39:54 +09:00
GreasySlug
ff9c10cfee Update: Change Vec to Set 2022-10-05 09:12:45 +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
GreasySlug
66a14e4a8c Fix: import not erg_import 2022-10-04 19:49:30 +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