785 commits

Author	SHA1	Message	Date
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	69bfe44314	feat(els): continue analysis as possible even if syntax errors occur	2024-01-27 17:01:50 +09:00
Shunsuke Shibayama	366141b4a3	fix(els): don't show irrelevant parse errors	2024-01-27 16:18: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	efea5ae52f	fix: incomplete polymorphic type instantiation	2024-01-25 01:57:38 +09:00
Shunsuke Shibayama	a56342c695	chore: display module type (shortened) path	2024-01-24 22:51:12 +09:00
Shunsuke Shibayama	c514d0d83d	fix(els): rename not working	2024-01-24 22:15:58 +09:00
Shunsuke Shibayama	378567ad2d	feat(els): recognize packages	2024-01-22 13:08:15 +09:00
Shunsuke Shibayama	ab659ccb35	feat: import external packages	2024-01-22 11:43:38 +09:00
Shunsuke Shibayama	67fefd196c	feat(els): add Scheduler	2024-01-22 00:26:58 +09:00
Shunsuke Shibayama	20a94b806a	fix: assert de-optimization bug	2024-01-21 13:10:47 +09:00
Shunsuke Shibayama	cfc2214bfb	fix: path handling bug	2024-01-21 02:26:58 +09:00
Shunsuke Shibayama	74d304a1b7	chore: get builtin module context without lock	2024-01-21 01:44:29 +09:00
Shunsuke Shibayama	0c7f02db18	fix: NoneType codegen bug	2024-01-06 17:02:52 +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	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
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	edfabd97e7	refactor: fix warns	2023-12-29 12:30:41 +09:00
Shunsuke Shibayama	cf726fe4a8	fix: array type bug	2023-12-29 12:09:59 +09:00
Shunsuke Shibayama	b5f5876631	fix: closure bug	2023-12-28 23:31:09 +09:00
Shunsuke Shibayama	a128719cbd	Update codegen.rs	2023-12-28 21:01:53 +09:00
Shunsuke Shibayama	a2d1809cee	fix: cyclic reference modules bugs	2023-12-28 14:59:14 +09:00
Shunsuke Shibayama	26c758e67f	WIP: submodule resolution bug	2023-12-25 02:14:33 +09:00
Shunsuke Shibayama	1b824d78e1	Merge branch 'main' into torch	2023-12-22 13:12:42 +09:00
Shunsuke Shibayama	2f924527f0	chore: add ModuleGraph::display	2023-12-22 13:03:25 +09:00
Shunsuke Shibayama	0e8ac90742	Merge branch 'main' into torch	2023-12-16 12:36:25 +09:00
Shunsuke Shibayama	03a45de495	fix: type-var generalization bug	2023-12-16 12:06:32 +09:00
Shunsuke Shibayama	a10d9e80ec	fix: completion does not work in type decl files	2023-12-16 00:08:55 +09:00
Shunsuke Shibayama	89b26b3e8c	WIP: enhance torch type decls	2023-12-15 22:57:13 +09:00
Shunsuke Shibayama	868609f95a	feat: add format, help!	2023-12-15 22:55:10 +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	4f02d6ce2d	fix: dict type inference bug	2023-12-12 13:28:35 +09:00
Shunsuke Shibayama	529d3892bf	fix: container type inference bugs	2023-12-11 00:15:13 +09:00