Commit graph

672 commits

Author SHA1 Message Date
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