197 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	50787a075f	fix: #510	2024-05-03 13:29:31 +09:00
Shunsuke Shibayama	e48311ee0c	fix: type inference bug	2024-04-28 22:30:52 +09:00
Shunsuke Shibayama	0ffa23affd	fix: trait parameter bug	2024-04-28 18:53:30 +09:00
Shunsuke Shibayama	02a67567d3	fix: tuple iterator bug	2024-04-28 15:28:20 +09:00
Shunsuke Shibayama	1c699cc2f3	feat: add Sealed trait	2024-04-27 13:52:15 +09:00
Shunsuke Shibayama	3d7283cb01	fix: {default, variable} parameter bugs	2024-04-24 15:24:05 +09:00
Shunsuke Shibayama	1f88084360	feat: best-effort type instantiation	2024-04-20 22:51:14 +09:00
Shunsuke Shibayama	c6eb78a44d	refactor!: rename Array -> List	2024-04-04 23:24:07 +09:00
Shunsuke Shibayama	4ac6276ba9	feat: add Iterable methods	2024-03-30 13:26:02 +09:00
Shunsuke Shibayama	ce5eafca9b	feat: improve record type narrowing	2024-03-24 18:18:09 +09:00
Shunsuke Shibayama	54bd111a5f	build: add bump_version.er	2024-03-24 00:55:01 +09:00
Shunsuke Shibayama	ccb2cceea1	fix: class definition bug	2024-03-22 19:43:33 +09:00
Shunsuke Shibayama	95e675cccd	feat: array unpacking	2024-03-16 13:20:01 +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	c9438f215a	fix: compile-time eval bug	2024-02-23 23:03:34 +09:00
Shunsuke Shibayama	2eaec5a40e	feat: resolve pkgs module path	2024-02-14 01:30:48 +09:00
Shunsuke Shibayama	6b681c5fd1	feat: add initializer, destructor syntax	2024-02-10 18:49:04 +09:00
Shunsuke Shibayama	d232acc3e4	test: add pytorch test	2024-02-09 14:38:57 +09:00
Shunsuke Shibayama	36fcc8cb79	fix: ownership bug	2024-02-07 19:50:50 +09:00
GreasySlug	edd193a119	refactor: wrap and handle the py ver retrieval	2024-02-04 23:51:45 +09:00
Shunsuke Shibayama	83cb2253e9	Update test.rs	2024-01-31 00:53:06 +09:00
Shunsuke Shibayama	284146843b	fix: refinement type bug	2024-01-30 12:18:27 +09:00
Shunsuke Shibayama	7ed39e3281	fix: dependent refinement type bug	2024-01-30 01:06:03 +09:00
Shunsuke Shibayama	5843135df6	test: add assert casting test suites	2024-01-06 15:28:32 +09:00
Shunsuke Shibayama	951c85a344	feat: add exception module	2024-01-04 21:41:24 +09:00
Shunsuke Shibayama	80872fc50e	fix: keyword argument bugs	2023-12-29 17:00:11 +09:00
Shunsuke Shibayama	cf726fe4a8	fix: array type bug	2023-12-29 12:09:59 +09:00
Shunsuke Shibayama	a2d1809cee	fix: cyclic reference modules bugs	2023-12-28 14:59:14 +09:00
Shunsuke Shibayama	529d3892bf	fix: container type inference bugs	2023-12-11 00:15:13 +09:00
Shunsuke Shibayama	21025096a3	fix: type-var instantiation bugs	2023-11-25 02:56:25 +09:00
Shunsuke Shibayama	30a6f84e5f	feat: add erg_compiler/erg_parser type decls	2023-11-18 16:04:51 +09:00
Shunsuke Shibayama	663a0824ad	feat: var-kwargs codegen	2023-11-14 02:17:47 +09:00
Shunsuke Shibayama	6d12e09b29	test: add external test	2023-11-12 12:28:57 +09:00
Shunsuke Shibayama	678c02faf9	feat: support refinement class	2023-10-31 02:23:50 +09:00
Shunsuke Shibayama	c1f6e4b900	fix: type coercion bug	2023-10-20 23:39:01 +09:00
Shunsuke Shibayama	4012b323d5	fix: closure codegen bug	2023-10-19 18:10:03 +09:00
Shunsuke Shibayama	0bfd4044b5	fix: infer order bug	2023-10-19 01:47:20 +09:00
Shunsuke Shibayama	06898bd793	chore: improve type inference system	2023-10-18 16:46:06 +09:00
Shunsuke Shibayama	e6cf329f97	fix: type alias bug	2023-10-16 18:34:19 +09:00
Shunsuke Shibayama	2d2c5dcdd7	fix: fast-value codegen bug	2023-10-15 23:29:49 +09:00
Shunsuke Shibayama	08770e84fc	feat: add unsound module	2023-10-15 11:51:27 +09:00
Shunsuke Shibayama	5365c87cb4	fix: relax side effect check	2023-10-14 11:06:36 +09:00
Shunsuke Shibayama	e6b56d4469	fix: match type check	2023-10-12 11:30:33 +09:00
Shunsuke Shibayama	3f4520d1d3	fix: ignore too many args error	2023-10-11 22:29:24 +09:00
Shunsuke Shibayama	f676f22d6c	fix: planner bug	2023-10-08 02:15:25 +09:00
Shunsuke Shibayama	24da5cdfbd	fix: [x; _] bug	2023-10-02 22:50:17 +09:00
Shunsuke Shibayama	c985fcb4d8	chore: instantiate_param_ty to be Failable	2023-09-30 11:13:37 +09:00
Shunsuke Shibayama	f561eebc2f	chore: improve pattern match	2023-09-27 11:59:20 +09:00
Shunsuke Shibayama	f0fdcaca9f	Update test.rs	2023-09-13 11:44:20 +09:00