198 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	c32feb58ed	perf: don't recheck in sub_unify	2024-09-27 11:01:55 +09:00
Shunsuke Shibayama	a129141234	fix: incorrect typing & method resolution	2024-09-26 11:34:15 +09:00
Shunsuke Shibayama	267c4a7761	fix: overload resolution bug	2024-09-21 15:55:14 +09:00
Shunsuke Shibayama	ff53af0cb6	feat: add RMul, RDiv ... * `And` has the default type index * impl `Dimension` traits	2024-09-20 20:36:55 +09:00
Shunsuke Shibayama	4651a383ae	feat: add Dimension and unit module	2024-09-20 18:26:29 +09:00
Shunsuke Shibayama	fd76f56ba4	Revert "debug: mark" ... This reverts commit 5eb0a50a23.	2024-09-16 21:32:01 +09:00
Shunsuke Shibayama	6781db1588	Merge branch 'main' into perf_or_type	2024-09-16 21:31:53 +09:00
Shunsuke Shibayama	5eb0a50a23	debug: mark	2024-09-16 14:38:36 +09:00
Shunsuke Shibayama	46c349d25d	Update inquire.rs	2024-09-15 14:37:55 +09:00
Shunsuke Shibayama	b0c31370c5	fix: Type::{And, Or}(Set<Type>)	2024-09-14 21:20:05 +09:00
Shunsuke Shibayama	beee3b8800	fix: recursion bugs of structural types	2024-09-10 23:21:39 +09:00
Shunsuke Shibayama	60ea11aa3e	fix: eliminate unsafe operations	2024-09-09 11:42:39 +09:00
Shunsuke Shibayama	f9eb562848	fix: infinite recursion bug ... add `Immutable` trait (Type: !Immutable)	2024-09-04 20:38:46 +09:00
Shunsuke Shibayama	7cd895a30e	chore: change logical operations order	2024-09-02 19:38:41 +09:00
Shunsuke Shibayama	9a05f22356	fix: infinite recursion bugs	2024-09-01 18:16:06 +09:00
Shunsuke Shibayama	fdca32f6a9	fix: eliminate panics	2024-08-28 21:20:13 +09:00
Shunsuke Shibayama	bc50ceeb6a	fix: method subtyping	2024-08-21 11:28:17 +09:00
Shunsuke Shibayama	d433bcbcce	feat: args expansion	2024-08-20 01:20:42 +09:00
Shunsuke Shibayama	8eb8cd7c4a	chore: union method type	2024-08-19 12:30:23 +09:00
Shunsuke Shibayama	e1ffa2d739	fix: borrow error	2024-08-16 15:00:12 +09:00
Shunsuke Shibayama	b21d018adf	fix: __call__ overload bug	2024-08-13 13:02:14 +09:00
Shunsuke Shibayama	1523515204	fix: type coercion bug	2024-08-11 17:37:11 +09:00
Shunsuke Shibayama	ceb6121a67	fix: inherited class constructor	2024-07-24 14:33:03 +09:00
Shunsuke Shibayama	1e23c6beb5	chore: add some helper methods	2024-07-06 20:35:22 +09:00
Shunsuke Shibayama	2c9fe263ba	fix(els): continue analysis even if errors occur	2024-06-16 19:34:19 +09:00
Shunsuke Shibayama	22cd07a414	chore: improve overload error msg	2024-06-15 14:14:38 +09:00
Shunsuke Shibayama	5cf3acbf16	chore: fix warnings	2024-06-15 12:20:57 +09:00
Shunsuke Shibayama	96f4c1cf98	feat: add {Str, List}.from	2024-04-30 18:44:31 +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	c6eb78a44d	refactor!: rename Array -> List	2024-04-04 23:24:07 +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	7d6ea6cf77	chore: add sub_unify_with_coercion	2024-03-21 14:00:26 +09:00
Shunsuke Shibayama	e38674945b	fix: type relation bugs	2024-03-13 12:40:43 +09:00
Shunsuke Shibayama	f8b7717682	chore: remove __new__	2024-03-06 01:53:50 +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	3173db429a	chore: add TraitImpl::declared_in	2024-02-11 13:55:17 +09:00
Shunsuke Shibayama	21d5f22ca8	fix: overload resolution bug	2024-02-09 14:33:58 +09:00
Shunsuke Shibayama	fce88717b0	feat!: change constructor syntax: C::__new__() -> C()	2024-02-08 02:42:49 +09:00
Shunsuke Shibayama	b8fe8fb205	fix: subtype check bug	2024-02-04 17:29:34 +09:00
Shunsuke Shibayama	8189d1cfc4	fix: callable object bug	2024-02-02 02:24:43 +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	ab659ccb35	feat: import external packages	2024-01-22 11:43:38 +09:00
Shunsuke Shibayama	951c85a344	feat: add exception module	2024-01-04 21:41:24 +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