Shunsuke Shibayama
|
5d99aba66b
|
Merge pull request #197 from GreasySlug/main
Several useful features added
|
2022-10-09 11:17:43 +09:00 |
|
Shunsuke Shibayama
|
e74c9fa707
|
Fix an inferring bug
|
2022-10-09 10:41:03 +09:00 |
|
GreasySlug
|
81435d2fcf
|
Update: use package table
|
2022-10-09 09:45:13 +09:00 |
|
Shunsuke Shibayama
|
1cafedef81
|
Update version (v0.5.8)
|
2022-10-09 00:50:06 +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
|
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 |
|