555 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	107d466e57	chore: eliminate unwraps	2024-03-29 01:35:30 +09:00
Shunsuke Shibayama	8722bb3dd0	perf: cache generalization results	2024-03-26 01:20:56 +09:00
Shunsuke Shibayama	56f06a0a1e	chore: eliminate unwraps	2024-03-25 15:14:48 +09:00
Shunsuke Shibayama	ce5eafca9b	feat: improve record type narrowing	2024-03-24 18:18:09 +09:00
Shunsuke Shibayama	35f55c62d3	feat: enhance os, random type decls	2024-03-24 13:02:26 +09:00
Shunsuke Shibayama	d881a6ae3e	feat: add FileDescriptor and enhance os decls	2024-03-23 11:28:56 +09:00
Shunsuke Shibayama	7d6ea6cf77	chore: add sub_unify_with_coercion	2024-03-21 14:00:26 +09:00
Shunsuke Shibayama	bd39393746	feat: type narrowing with filter	2024-03-21 11:56:17 +09:00
Shunsuke Shibayama	5345b07791	feat: implement the built-in trait entities	2024-03-20 16:53:03 +09:00
Shunsuke Shibayama	fd873a1916	feat: argumen type narrowing	2024-03-17 20:57:13 +09:00
Shunsuke Shibayama	74e89f6d5b	fix: polymorphic type spec instantiation bugs	2024-03-13 22:35:08 +09:00
Shunsuke Shibayama	e38674945b	fix: type relation bugs	2024-03-13 12:40:43 +09:00
Shunsuke Shibayama	24141ea3f3	fix: import resolution	2024-03-12 23:38:39 +09:00
Shunsuke Shibayama	57b919feb7	feat: add breakpoint!, hex, object, list, vars	2024-03-12 12:46:26 +09:00
Shunsuke Shibayama	8f68f55c91	feat: add To{Bool, Int, Float}, Round	2024-03-12 12:45:09 +09:00
Shunsuke Shibayama	0e1c0a9a13	feat: add Exception classes	2024-03-11 20:35:11 +09:00
Shunsuke Shibayama	f8b7717682	chore: remove __new__	2024-03-06 01:53:50 +09:00
Shunsuke Shibayama	0fb996f289	feat: add Copy trait	2024-03-03 16:22: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