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 unwrap s
|
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 |
|