Commit graph

238 commits

Author SHA1 Message Date
Shunsuke Shibayama
e6cf329f97 fix: type alias bug 2023-10-16 18:34:19 +09:00
Shunsuke Shibayama
14729c94f4 chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind 2023-10-15 17:41:22 +09:00
Shunsuke Shibayama
1a056b1b0e fix!: let return/yield to be a private method 2023-10-15 13:51:09 +09:00
Shunsuke Shibayama
08770e84fc feat: add unsound module 2023-10-15 11:51:27 +09:00
Shunsuke Shibayama
fc75151f2a feat: add Frame type 2023-10-14 23:42:27 +09:00
Shunsuke Shibayama
0a24c0cb77 fix: dict update! bug 2023-10-14 21:38:12 +09:00
Shunsuke Shibayama
a8c1113df7 fix: minor bugs 2023-10-14 19:39:07 +09:00
Shunsuke Shibayama
5e580422c3 fix: mutable array type bug 2023-10-11 21:29:53 +09:00
Shunsuke Shibayama
13a346e488 feat: add Dict.concat/diff, Dict!.merge!/remove! 2023-10-05 00:57:08 +09:00
Shunsuke Shibayama
f561eebc2f chore: improve pattern match 2023-09-27 11:59:20 +09:00
Shunsuke Shibayama
57d3a23aed feat: impl Hash for Array 2023-09-18 19:44:37 +09:00
Shunsuke Shibayama
9db9348dc5 feat: support decorator 2023-09-16 16:29:14 +09:00
Shunsuke Shibayama
31246138b3 chore: add ModuleEntry.ast 2023-09-14 01:29:35 +09:00
Shunsuke Shibayama
38f44e8d31 fix(els): use NormalizedPathBuf for AbsLocation 2023-09-13 23:26:05 +09:00
Shunsuke Shibayama
a97b89c056 fix!: rename to_str -> __str__ 2023-09-13 16:48:20 +09:00
Shunsuke Shibayama
aacdca31b8 fix: Python 3.7~3.8 bugs 2023-09-13 11:09:30 +09:00
Shunsuke Shibayama
68acaf00fb feat: add ByteArray! 2023-09-11 21:55:46 +09:00
Shunsuke Shibayama
3fd66f1a32 feat: (partial) comprehension support 2023-09-11 02:24:03 +09:00
Shunsuke Shibayama
abb025afd4 fix: symop codegen bug 2023-09-09 17:29:19 +09:00
Shunsuke Shibayama
7729b73809 fix: dict iterators bug 2023-09-06 00:56:07 +09:00
Shunsuke Shibayama
8a1911cece fix: method inferring 2023-09-05 21:54:08 +09:00
Shunsuke Shibayama
d8835fd169 fix: eliminate unwraps 2023-09-03 03:36:17 +09:00
Shunsuke Shibayama
74bca70017 feat: add Array.update_nth! 2023-08-28 15:33:58 +09:00
Shunsuke Shibayama
f3b188e095 feat: support recursive class definition 2023-08-25 21:02:47 +09:00
Shunsuke Shibayama
3724a74649 fix: undo leak bug & sub-unification bugs 2023-08-22 21:45:25 +09:00
Shunsuke Shibayama
97afccb94a fix: predicate instantiation bug 2023-08-22 14:13:06 +09:00
Shunsuke Shibayama
f2ad45878a feat: add Hash trait 2023-08-20 17:33:42 +09:00
Shunsuke Shibayama
a0ce142f7b chore: add record examples 2023-08-20 10:58:33 +09:00
Shunsuke Shibayama
5e71bd7fd0 feat: add Record.as_dict() 2023-08-20 02:02:53 +09:00
Shunsuke Shibayama
2966497ad6 feat: add Str methods 2023-08-20 00:07:08 +09:00
Shunsuke Shibayama
6ce41ef8bd fix: record type subtyping 2023-08-19 23:30:34 +09:00
Shunsuke Shibayama
5affa5065f fix: dynamic type checking bugs 2023-08-19 16:34:07 +09:00
Shunsuke Shibayama
5ac0012255 Merge branch 'main' into named_tuple 2023-08-18 02:12:37 +09:00
Shunsuke Shibayama
efcf23b04d fix: iterator bugs 2023-08-17 20:01:05 +09:00
Shunsuke Shibayama
927de74eee chore: add Self substitution 2023-08-17 19:25:17 +09:00
Shunsuke Shibayama
9454896d5a WIP 2023-08-17 16:43:26 +09:00
Shunsuke Shibayama
ea0089f7df feat: add Type::NamedTuple 2023-08-17 02:00:44 +09:00
Shunsuke Shibayama
2e9fb48f2e fix: in operator
* remove `In` trait, `__in__`, `__notin__` function
* desugar to `__contains__`
* impl Collection for Array, Set, Tuple
2023-08-13 01:01:06 +09:00
Shunsuke Shibayama
4f93c393c0 fix: trait registering bugs 2023-08-12 23:31:44 +09:00
Shunsuke Shibayama
3c88aee6be
Merge pull request #447 from erg-lang/shape
Enhance compile-time verification capabilities
2023-08-10 08:11:40 +09:00
Shunsuke Shibayama
91d0ac3545 feat: add Array.get 2023-08-09 23:51:52 +09:00
Shunsuke Shibayama
6c3536cc31 fix: declaration bugs 2023-07-31 11:08:53 +09:00
Shunsuke Shibayama
df7dbcda4b chore: let const funcs return TyParam instead of ValueObj 2023-07-30 15:02:32 +09:00
Shunsuke Shibayama
1ea2c74aaa chore: add TyParam::proj_call 2023-07-30 13:05:39 +09:00
Shunsuke Shibayama
664f265716 WIP 2023-07-28 00:27:04 +09:00
Shunsuke Shibayama
9308a910ca fix: #442 2023-07-24 09:32:31 +09:00
Shunsuke Shibayama
0152e368ab feat: support Array, Str, Bytes slice 2023-07-15 12:29:07 +09:00
Shunsuke Shibayama
579615d76e feat: add Slice 2023-07-14 23:45:13 +09:00
Shunsuke Shibayama
8a47c4bd18 chore: remove dyn 2023-07-14 19:59:28 +09:00
Shunsuke Shibayama
e3b479ebf7 feat: polymorphic type class members 2023-07-14 01:53:06 +09:00