538 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	50d51dc08b	merge from main	2024-04-02 15:31:14 +09:00
GreasySlug	37e0b7832f	fix: typing error in var names	2024-02-26 23:04:26 +09:00
GreasySlug	eba80469a6	clean: add and use const str	2024-02-26 23:04:26 +09:00
Shunsuke Shibayama	f612340e80	fix: range type definition bug	2024-02-26 01:35:41 +09:00
Shunsuke Shibayama	ac80cbba87	chore: fill missing arms	2024-02-25 11:20:11 +09:00
Shunsuke Shibayama	c74513f507	fix: eliminate unwraps	2024-02-24 23:02:59 +09:00
Shunsuke Shibayama	0bedeb51ab	feat: support using attributes in predicate	2024-02-24 13:23:02 +09:00
Shunsuke Shibayama	47818e431e	chore: remove clone method	2024-02-24 00:27:13 +09:00
Shunsuke Shibayama	c9438f215a	fix: compile-time eval bug	2024-02-23 23:03:34 +09:00
Shunsuke Shibayama	ca88e82c9f	feat: improve record type error hint	2024-02-21 00:39:36 +09:00
Shunsuke Shibayama	1d1c6f4fbc	fix: python script backend bug	2024-02-19 02:26:18 +09:00
Shunsuke Shibayama	918f146d08	fix: transpiler bug	2024-02-18 17:14:41 +09:00
Shunsuke Shibayama	67a9f88f61	fix: sub unification bug	2024-02-16 18:31:49 +09:00
Shunsuke Shibayama	5f652f3dd5	fix: sub unification bug	2024-02-16 17:50:57 +09:00
Shunsuke Shibayama	fae18d3c15	Update inquire.rs	2024-02-16 17:00:04 +09:00
Shunsuke Shibayama	ac3023c779	Update inquire.rs	2024-02-15 15:09:53 +09:00
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