242 commits

Author	SHA1	Message	Date
GreasySlug	cc21271998	clean: use black and ruff	2024-02-26 23:04:26 +09:00
Shunsuke Shibayama	47818e431e	chore: remove clone method	2024-02-24 00:27:13 +09:00
Shunsuke Shibayama	9b9be7fb2c	Update _erg_bytes.py	2024-02-19 02:49:10 +09:00
Shunsuke Shibayama	9e2beff6db	Update _erg_bytes.py	2024-02-18 17:15:56 +09:00
Shunsuke Shibayama	13ed03f23c	Update pathlib.d.er	2024-02-16 19:05:52 +09:00
Shunsuke Shibayama	2eaec5a40e	feat: resolve pkgs module path	2024-02-14 01:30:48 +09:00
Shunsuke Shibayama	48cdd2462d	feat: add Array.repeat	2024-02-12 01:38:52 +09:00
Shunsuke Shibayama	92aa3ea078	add external files	2024-02-11 23:04:16 +09:00
Shunsuke Shibayama	12a425a8da	refactor: move external packages to package-index	2024-02-10 20:12:55 +09:00
Shunsuke Shibayama	027009680a	Update semver.er	2024-02-10 13:00:44 +09:00
Shunsuke Shibayama	7e961e37ed	refactor: move idna, certifi to package-index	2024-02-10 13:00:44 +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	134cb1254c	fix: test failures	2024-02-09 23:21:05 +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	3eec9ed590	fix: mutable object class bug	2024-02-09 00:34:48 +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	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	b8fe8fb205	fix: subtype check bug	2024-02-04 17:29:34 +09:00
Shunsuke Shibayama	3be5d75d05	fix: torch type decls	2024-02-03 20:51:58 +09:00
Shunsuke Shibayama	9c9f8b7a0a	fix: subtype relation bug	2024-02-03 19:36:27 +09:00
Shunsuke Shibayama	8d5641503f	fix: cyclic modules resolution bug	2024-02-03 14:50:51 +09:00
Shunsuke Shibayama	8189d1cfc4	fix: callable object bug	2024-02-02 02:24:43 +09:00
Shunsuke Shibayama	37a9b024be	feat: enhance torch type decls	2024-02-01 16:35:47 +09:00
Shunsuke Shibayama	83aae24317	fix: tqdm invalid type declaration	2024-01-31 12:26:10 +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	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	4393649ffc	feat: add Predicate::{Call, GeneralEqual}	2024-01-28 18:33:00 +09:00
Shunsuke Shibayama	ddefa6185e	Update pathlib.d.er	2024-01-26 21:49:46 +09:00
Shunsuke Shibayama	ca04076f77	fix: path resolution bug	2024-01-26 19:30:41 +09:00
Shunsuke Shibayama	20a94b806a	fix: assert de-optimization bug	2024-01-21 13:10:47 +09:00
Shunsuke Shibayama	74f3bad52e	Update exception.er	2024-01-06 00:06:12 +09:00
Shunsuke Shibayama	951c85a344	feat: add exception module	2024-01-04 21:41:24 +09:00
Shunsuke Shibayama	6de8355a25	refactor: std -> core	2024-01-04 17:26:26 +09:00
Shunsuke Shibayama	767d51d48b	feat: function downcasting ... FIXME: This downcast is unsound, function inputs, output should be checked at runtime	2023-12-31 09:03:40 +09:00
Shunsuke Shibayama	2ddff1512f	fix: const call bug	2023-12-30 21:53:38 +09:00
Shunsuke Shibayama	4e3b3e3d21	fix: runtime type checking bug	2023-12-30 10:50:33 +09:00
Shunsuke Shibayama	80872fc50e	fix: keyword argument bugs	2023-12-29 17:00:11 +09:00
Shunsuke Shibayama	21283b668e	feat: add \x string literal	2023-12-29 13:44:34 +09:00
Shunsuke Shibayama	26c758e67f	WIP: submodule resolution bug	2023-12-25 02:14:33 +09:00
Shunsuke Shibayama	89b26b3e8c	WIP: enhance torch type decls	2023-12-15 22:57:13 +09:00
Shunsuke Shibayama	905a03d578	fix: external type specification bug	2023-12-13 23:33:06 +09:00
Shunsuke Shibayama	83cd92bb48	fix: superclass declaration bug	2023-12-13 14:37:48 +09:00
Shunsuke Shibayama	529d3892bf	fix: container type inference bugs	2023-12-11 00:15:13 +09:00
Shunsuke Shibayama	58d3e3ec61	feat: add certifi/idna/packaging/six type decl	2023-12-09 20:02:44 +09:00