111 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	66cac2ccc2	fix: bugs & remove TypeCmpCache	2023-04-27 13:10:33 +09:00
Shunsuke Shibayama	a74309cbb3	fix: type-variable union bugs	2023-04-24 21:48:05 +09:00
Shunsuke Shibayama	0e8dee3cbf	feat: implement And type overloading	2023-04-24 21:43:46 +09:00
Shunsuke Shibayama	1767df5de2	chore: add error msg for debug_assert!	2023-04-23 11:17:10 +09:00
Shunsuke Shibayama	3c40fc35e9	fix: #193 ... and many bugs	2023-04-22 23:43:03 +09:00
Shunsuke Shibayama	ffd33015d5	fix: external type resolving	2023-04-18 10:49:02 +09:00
Shunsuke Shibayama	da300b0f02	feat(els): jump to parameter type definitions	2023-04-18 01:01:13 +09:00
Shunsuke Shibayama	839133863f	feat: enhance assert casting	2023-04-16 23:32:52 +09:00
Shunsuke Shibayama	5eb680cb21	fix: #415	2023-04-16 21:13:48 +09:00
Shunsuke Shibayama	9f110aeef4	fix: infinite recursion bug	2023-04-12 12:48:22 +09:00
Shunsuke Shibayama	fc85265d9f	fix: union types bug & multi-pattern def bug	2023-04-10 22:26:46 +09:00
Shunsuke Shibayama	a484f0ff9a	fix: misuse forced_undoable_link	2023-04-07 23:45:10 +09:00
Shunsuke Shibayama	018080be41	fix: nested array bugs	2023-04-05 11:47:15 +09:00
Shunsuke Shibayama	b7fb670adf	fix: minor bugs	2023-04-02 01:43:05 +09:00
Shunsuke Shibayama	c8ecb9903e	refactor: Type::Fluctuation -> Type::Bounded	2023-04-01 22:52:02 +09:00
Shunsuke Shibayama	0329b1a2e3	chore: add Dereferencer	2023-04-01 18:08:15 +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	caa171342f	fix: eliminate panics	2023-03-25 23:17:30 +09:00
Shunsuke Shibayama	9710b8c0cc	feat(els): impl module/alias definition jump	2023-03-24 22:46:02 +09:00
Shunsuke Shibayama	9b3843b7a4	feat: add Complex, GenericArray, GenericSet	2023-03-24 11:47:46 +09:00
Shunsuke Shibayama	4ff0b64fc3	fix: type-instantiating bugs	2023-03-23 21:17:37 +09:00
Shunsuke Shibayama	0079aed860	fix: sub-unification bugs	2023-03-22 15:38:47 +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	fd99524bbe	fix: union/intersection types bugs	2023-03-17 10:18:23 +09:00
Shunsuke Shibayama	2afd47a24a	fix: change ParamTy structure	2023-03-17 00:11:30 +09:00
Shunsuke Shibayama	5838eea7ec	fix: NotImplementedType	2023-03-16 12:03:47 +09:00
Shunsuke Shibayama	ee0366cfb4	fix: constant attribute searching bugs	2023-03-11 14:21:15 +09:00
Shunsuke Shibayama	a998ec1b7b	fix: warnings	2023-03-10 19:25:11 +09:00
Shunsuke Shibayama	d92f5284c8	feat: add restricted visibility syntax	2023-03-05 02:19:18 +09:00
Shunsuke Shibayama	1c8da7f049	fix: refinement types bugs	2023-03-03 13:44:05 +09:00
Shunsuke Shibayama	0495dd3d1b	fix: eliminate unreachable errors	2023-03-02 10:51:01 +09:00
Shunsuke Shibayama	1aa83f140a	chore(els): improve signature help	2023-02-27 12:01:09 +09:00
Shunsuke Shibayama	70f2fe0234	fix: minor bugs	2023-02-26 03:40:13 +09:00
Shunsuke Shibayama	e944132cfc	feat: add init_py_builtin_operators	2023-02-24 15:21:25 +09:00
Shunsuke Shibayama	59f07f6d1d	fix: Structural types bugs	2023-02-24 13:08:18 +09:00
Shunsuke Shibayama	73a91dcbbb	chore: improve messages for unexpected arguments	2023-02-24 10:31:05 +09:00
Shunsuke Shibayama	7c748f223a	fix: Structural subtyping bug ... fix: `contains_tvar`	2023-02-24 09:49:22 +09:00
Shunsuke Shibayama	aaa6b40b24	feat: support Structural types for methods	2023-02-23 18:12:05 +09:00
Shunsuke Shibayama	c9dda183ab	feat: implement Structural types	2023-02-23 01:37:54 +09:00
Shunsuke Shibayama	5c4c43ab2f	fix: failure of the type inference of another module	2023-02-22 11:55:02 +09:00
Shunsuke Shibayama	aa2cea60dd	fix: quantified subroutine subtyping bugs	2023-02-22 02:40:51 +09:00
Shunsuke Shibayama	4dcca2b06d	fix(typechecker): type generalization & dereference bugs ... * `Context::subtype_of` now has `allow_cast` param. If this is `false`, cast-aware comparisons are not performed.	2023-02-21 17:04:52 +09:00
Shunsuke Shibayama	3fea50f8bc	fix: type generalization bugs	2023-02-21 11:20:15 +09:00
Shunsuke Shibayama	4dca7468ab	fix(typechecker): generalization bugs	2023-02-21 01:49:10 +09:00
Shunsuke Shibayama	d0c53e456e	test: add type check tests	2023-02-20 22:29:44 +09:00
Shunsuke Shibayama	6a607870f3	fix: type quantification bugs	2023-02-20 20:38:36 +09:00
Shunsuke Shibayama	51d84fff9e	fix: heterogenous array specifying	2023-02-20 00:08:35 +09:00