Shunsuke Shibayama
|
e236a65c21
|
fix: refinement type assert cast bug
|
2024-02-14 20:09:13 +09:00 |
|
Shunsuke Shibayama
|
48cdd2462d
|
feat: add Array.repeat
|
2024-02-12 01:38:52 +09:00 |
|
Shunsuke Shibayama
|
8b0d504ccb
|
Merge branch 'main' into lib.d
|
2024-02-11 13:46:59 +09:00 |
|
Shunsuke Shibayama
|
4440d0a698
|
chore: add TraitImpl::declared_in
|
2024-02-11 13:08:03 +09:00 |
|
Shunsuke Shibayama
|
14bf431c57
|
chore: resolve decl package path
|
2024-02-10 13:01:42 +09:00 |
|
Shunsuke Shibayama
|
2a26cc8a1d
|
Merge pull request #485 from erg-lang/torch_d
Change constructor syntax
|
2024-02-09 23:41:18 +09:00 |
|
Shunsuke Shibayama
|
e5c8f177ba
|
feat: add HasScalarType
|
2024-02-09 18:37:33 +09:00 |
|
Shunsuke Shibayama
|
21d5f22ca8
|
fix: overload resolution bug
|
2024-02-09 14:33:58 +09:00 |
|
Shunsuke Shibayama
|
66352ddd3a
|
feat: add const Array::{insert, remove_at, remove_all}
|
2024-02-09 12:47:17 +09:00 |
|
Shunsuke Shibayama
|
b7d9598d28
|
feat: add IrregularEq
|
2024-02-09 02:43:51 +09:00 |
|
Shunsuke Shibayama
|
fce88717b0
|
feat!: change constructor syntax: C::__new__() -> C()
|
2024-02-08 02:42:49 +09:00 |
|
Shunsuke Shibayama
|
c76de00847
|
feat: add Float!::{inc!, dec!}
|
2024-02-07 17:01:32 +09:00 |
|
Shunsuke Shibayama
|
90061f0fc1
|
fix: subr type with defaults instantiation bug
|
2024-02-07 14:48:39 +09:00 |
|
Shunsuke Shibayama
|
58514c5890
|
chore: add Subroutine & GenericCallable is now a trait
|
2024-02-07 13:23:09 +09:00 |
|
Shunsuke Shibayama
|
53172d5132
|
fix: declared type instantiation bug
|
2024-02-07 01:58:39 +09:00 |
|
Shunsuke Shibayama
|
757f387d91
|
feat: add callable function
|
2024-02-06 14:36:40 +09:00 |
|
Shunsuke Shibayama
|
d660287e08
|
Merge branch 'main' into torch_d
|
2024-02-04 18:12:17 +09:00 |
|
Shunsuke Shibayama
|
96239b957c
|
fix: modulo operator bug
|
2024-02-04 18:11:30 +09:00 |
|
Shunsuke Shibayama
|
b8fe8fb205
|
fix: subtype check bug
|
2024-02-04 17:29:34 +09:00 |
|
Shunsuke Shibayama
|
9c9f8b7a0a
|
fix: subtype relation bug
|
2024-02-03 19:36:27 +09:00 |
|
Shunsuke Shibayama
|
8189d1cfc4
|
fix: callable object bug
|
2024-02-02 02:24:43 +09:00 |
|
Shunsuke Shibayama
|
c75dc9c77a
|
Update lower.rs
|
2024-02-01 18:36:38 +09:00 |
|
Shunsuke Shibayama
|
ded10fc3d9
|
fix: nested module resolution bug
|
2024-02-01 11:22:20 +09:00 |
|
Shunsuke Shibayama
|
a6e7a39753
|
fix: nested module bug
|
2024-01-31 12:11:20 +09:00 |
|
Shunsuke Shibayama
|
20b1993714
|
Update inquire.rs
|
2024-01-31 02:37:16 +09:00 |
|
Shunsuke Shibayama
|
5122f28c95
|
Update register.rs
|
2024-01-31 01:48:45 +09:00 |
|
Shunsuke Shibayama
|
b58a542f8e
|
feat: add const Str::{isalpha, isascii, isdecimal}
|
2024-01-31 00:47:28 +09:00 |
|
Shunsuke Shibayama
|
bedf3e2f4b
|
fix: const Dict::{keys, values, items}
|
2024-01-30 15:01:19 +09:00 |
|
Shunsuke Shibayama
|
d6e6914662
|
feat: add const Str::{endswith, find, join, startswith}
|
2024-01-30 12:37:07 +09:00 |
|
Shunsuke Shibayama
|
284146843b
|
fix: refinement type bug
|
2024-01-30 12:18:27 +09:00 |
|
Shunsuke Shibayama
|
276583d8ef
|
feat: add const reversed/sum/Str::replace
|
2024-01-30 11:01:45 +09:00 |
|
Shunsuke Shibayama
|
7ed39e3281
|
fix: dependent refinement type bug
|
2024-01-30 01:06:03 +09:00 |
|
Shunsuke Shibayama
|
d748333a0f
|
feat: add const filter/max/min/not/str/zip
|
2024-01-29 20:54:30 +09:00 |
|
Shunsuke Shibayama
|
d1fa616aea
|
feat: eval const call/lambda in refinement types
rename: `Shape` -> `HasShape`
|
2024-01-29 18:10:26 +09:00 |
|
Shunsuke Shibayama
|
d59a4e82d3
|
feat: const abs/all/any/len/map
|
2024-01-29 13:29:39 +09:00 |
|
Shunsuke Shibayama
|
f0e47201bf
|
fix: param type instantiation bug
|
2024-01-29 13:20:40 +09:00 |
|
Shunsuke Shibayama
|
0f3d228997
|
fix: type-parameter unification bug
|
2024-01-29 02:09:24 +09:00 |
|
Shunsuke Shibayama
|
6b5af0ffb4
|
chore: fix type variance bug
|
2024-01-28 23:12:48 +09:00 |
|
Shunsuke Shibayama
|
06a4a6e5fc
|
feat: add Predicate::General{Less, Greater, Not}Equal
|
2024-01-28 20:24:14 +09:00 |
|
Shunsuke Shibayama
|
8350ad0581
|
chore: improve refinement types display
|
2024-01-28 19:34:03 +09:00 |
|
Shunsuke Shibayama
|
4393649ffc
|
feat: add Predicate::{Call, GeneralEqual}
|
2024-01-28 18:33:00 +09:00 |
|
Shunsuke Shibayama
|
366141b4a3
|
fix(els): don't show irrelevant parse errors
|
2024-01-27 16:18:00 +09:00 |
|
Shunsuke Shibayama
|
efea5ae52f
|
fix: incomplete polymorphic type instantiation
|
2024-01-25 01:57:38 +09:00 |
|
Shunsuke Shibayama
|
c514d0d83d
|
fix(els): rename not working
|
2024-01-24 22:15:58 +09:00 |
|
Shunsuke Shibayama
|
ab659ccb35
|
feat: import external packages
|
2024-01-22 11:43:38 +09:00 |
|
Shunsuke Shibayama
|
20a94b806a
|
fix: assert de-optimization bug
|
2024-01-21 13:10:47 +09:00 |
|
Shunsuke Shibayama
|
74d304a1b7
|
chore: get builtin module context without lock
|
2024-01-21 01:44:29 +09:00 |
|
Shunsuke Shibayama
|
951c85a344
|
feat: add exception module
|
2024-01-04 21:41:24 +09:00 |
|
Shunsuke Shibayama
|
8548ea89fe
|
fix: type-var resolution bug
|
2024-01-04 19:25:43 +09:00 |
|
Shunsuke Shibayama
|
6de8355a25
|
refactor: std -> core
|
2024-01-04 17:26:26 +09:00 |
|