145 commits

Author	SHA1	Message	Date
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
Shunsuke Shibayama	59f07f6d1d	fix: Structural types bugs	2023-02-24 13:08:18 +09:00
Shunsuke Shibayama	aaa6b40b24	feat: support Structural types for methods	2023-02-23 18:12:05 +09:00
Shunsuke Shibayama	2c3a27ed4b	fix: Structural types instantiation/generalization	2023-02-23 02:35:05 +09:00
Shunsuke Shibayama	c9dda183ab	feat: implement Structural types	2023-02-23 01:37:54 +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	6a607870f3	fix: type quantification bugs	2023-02-20 20:38:36 +09:00
Shunsuke Shibayama	855d47f02c	fix(typechecker): quantified types unifying	2023-02-19 02:00:54 +09:00
Shunsuke Shibayama	5d90029f09	perf: delaying execution of .loc()	2023-02-15 01:08:49 +09:00
GreasrySlug	97cde41592	update: use debug colors	2023-01-26 14:46:44 +09:00
Shunsuke Shibayama	a127564b31	Rename dir: compiler -> crates	2023-01-15 12:03:19 +09:00

Renamed from compiler/erg_compiler/context/compare.rs (Browse further)