111 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	379caacce9	fix: subtyping bugs	2023-05-20 21:43:53 +09:00
Shunsuke Shibayama	06001bfc13	feat: refinement type specification	2023-05-20 16:40:26 +09:00
Shunsuke Shibayama	9cb98b8af0	fix: polymorphic subtyping bug	2023-05-18 22:48:31 +09:00
Shunsuke Shibayama	f39836abb0	fix: bugs generating unintended circular references	2023-05-18 18:38:44 +09:00
Shunsuke Shibayama	470c06675f	fix: subtyping bugs	2023-05-10 17:21:05 +09:00
Shunsuke Shibayama	8adf6bd50b	Update compare.rs	2023-05-10 15:34:39 +09:00
Shunsuke Shibayama	70510f6ae1	fix: a subtyping bug	2023-05-09 23:55:23 +09:00
Shunsuke Shibayama	293f301a4b	feat: add traits ... * Sized * Iterator * Container * Collection * Indexable * Mapping	2023-05-08 12:11:01 +09:00
Hanaasagi	ffb5f0e688	chore: fix all typo	2023-05-07 03:43:53 +09:00
Shunsuke Shibayama	36885e34c3	fix: boundary checking bugs	2023-05-05 00:52:31 +09:00
Shunsuke Shibayama	d573d07f20	chore: enhance the compile-time evaluator	2023-05-04 22:12:58 +09:00
Shunsuke Shibayama	0603998bfc	chore: add Context::convert_value_into_type	2023-05-03 15:03:28 +09:00
Shunsuke Shibayama	68a233e6c3	fix: type-parameter instantiation bugs ... add `itertools` module type definition	2023-04-29 22:38:36 +09:00
Shunsuke Shibayama	a96b0102cd	fix: dict subtyping bugs	2023-04-29 11:38:25 +09:00
Shunsuke Shibayama	245d9eee84	fix: dict typing bugs	2023-04-27 15:51:56 +09:00
Shunsuke Shibayama	1e72cf20f1	fix: casting bugs	2023-04-27 13:58:15 +09:00
Shunsuke Shibayama	66cac2ccc2	fix: bugs & remove TypeCmpCache	2023-04-27 13:10:33 +09:00
Shunsuke Shibayama	b3e09f213f	fix: type inference failure of as operator ... Now the `as` operator is a kind of type ascription, i.e., a special operator.	2023-04-26 23:41:35 +09:00
Shunsuke Shibayama	20a5231fc0	Update compare.rs	2023-04-24 22:21:40 +09:00
Shunsuke Shibayama	a74309cbb3	fix: type-variable union bugs	2023-04-24 21:48:05 +09:00
Shunsuke Shibayama	3c40fc35e9	fix: #193 ... and many bugs	2023-04-22 23:43:03 +09:00
Shunsuke Shibayama	e0d8306b3e	feat: add Dict.keys/values/get	2023-04-20 02:19:31 +09:00
Shunsuke Shibayama	3cc168182b	feat: add typing.cast	2023-04-19 01:16:39 +09:00
Shunsuke Shibayama	839133863f	feat: enhance assert casting	2023-04-16 23:32:52 +09:00
Shunsuke Shibayama	0d43299cce	fix: subroutine-subtyping bugs	2023-04-14 18:32:17 +09:00
Shunsuke Shibayama	fc85265d9f	fix: union types bug & multi-pattern def bug	2023-04-10 22:26:46 +09:00
Shunsuke Shibayama	7c8b8a66a1	fix: Context::union/intersection	2023-04-10 11:51:45 +09:00
Shunsuke Shibayama	3ed863cef6	fix: infinite recursion	2023-04-10 00:38:41 +09:00
Shunsuke Shibayama	018080be41	fix: nested array bugs	2023-04-05 11:47:15 +09:00
Shunsuke Shibayama	f00ee2dc74	fix: Context::fields with module types	2023-04-03 11:34:37 +09:00
Shunsuke Shibayama	7c9970f140	fix: smallest type selection	2023-04-01 08:58:30 +09:00
Shunsuke Shibayama	e232b6a518	fix: sub-unification problem	2023-03-31 00:37:09 +09:00
Shunsuke Shibayama	5876c24830	feat: isinstance narrowing	2023-03-29 11:24:53 +09:00
Shunsuke Shibayama	ccf02405d8	feat: add ==/!= narrowing	2023-03-29 01:32:29 +09:00
Shunsuke Shibayama	fc3fe5de0c	feat: implement type-narrowing ... * `in` narrowing	2023-03-28 02:00:42 +09:00
Shunsuke Shibayama	b318395a32	fix: avoid infinite recursion bugs	2023-03-22 01:28:22 +09:00
Shunsuke Shibayama	40762bf8cf	fix: union/intersection types bugs	2023-03-20 14:48:34 +09:00
Shunsuke Shibayama	98a1a0292e	fix: structural types bugs	2023-03-20 13:43:25 +09:00
Shunsuke Shibayama	a5ce33f2c4	refactor: inst (instance) -> imp (impl)	2023-03-19 23:24:00 +09:00
Shunsuke Shibayama	b40666d618	fix: subtyping bugs	2023-03-19 23:21:11 +09:00
Shunsuke Shibayama	bee4561275	Update datetime.d.er	2023-03-13 16:37:51 +09:00
Shunsuke Shibayama	0d8e574414	fix: add a field meta_t to TypeObj::Builtin	2023-03-13 13:07:35 +09:00
Shunsuke Shibayama	fa2919e824	fix: bugs with enumeration of vars	2023-03-06 19:44:49 +09:00
Shunsuke Shibayama	b2425fa686	fix record subtyping bug (visibility)	2023-03-05 23:20:17 +09:00
Shunsuke Shibayama	d92f5284c8	feat: add restricted visibility syntax	2023-03-05 02:19:18 +09:00
Shunsuke Shibayama	3d310714f1	feat: support var-args lambda function	2023-03-03 16:01:20 +09:00
Shunsuke Shibayama	cb00efca54	fix: minor bugs	2023-03-03 14:26:11 +09:00
Shunsuke Shibayama	1c8da7f049	fix: refinement types bugs	2023-03-03 13:44:05 +09:00
Shunsuke Shibayama	5c6ea316f5	chore: remove unnecessary params	2023-03-03 10:01:05 +09:00
Shunsuke Shibayama	e57795d515	feat: implement smart completion	2023-02-27 13:42:19 +09:00