10 commits

Author	SHA1	Message	Date
Timothee Cour	10eabec6d4	fix #12864 static params were mutating arg types during sigmatch; fix #12713 ; refs #13529 (#13976) ... * fix #12864 static params were mutating arg types during sigmatch * fix test * fix StaticParam * also fixes #12713; added test case	2020-04-14 15:00:02 +02:00
Timothee Cour	cfa1a827dc	fix #13730 (#13787)	2020-03-28 08:51:16 +01:00
Andreas Rumpf	931ee0ca82	fixes #7258 (#12054)	2019-08-26 20:12:22 +02:00
Vindaar	d9ee377517	fix #10339 by returning type attached to nkEmpty (#10370) ... * fix #10339 by checking for nkObjConstr * revert check for nkObjConstr, return type from nkEmpty node The correct type needed in `semObjConstr` to fix #10339 is indeed available, but attached to an `nkEmpty` node. These were previously discarded in `semTypeNode`, which is used to extract the type for the object. * simplify return of PType from `nkEmpty` * also fixes #9866, add test case	2019-01-23 11:17:32 +01:00
LemonBoy	ae5d8fbd9d	Proper check for tyStatic[T] -> U conversions (#10382) ... Drop the outer tyStatic shell then perform the check. Fixes #7609	2019-01-21 17:27:36 +01:00
zah	87f8ec5b92	Fix #10073 (#10218)	2019-01-07 12:10:54 +01:00
LemonBoy	2c98b4943e	Fix crash with static and anonymous procs (#8171) ... Fixes #6077	2018-07-02 00:49:03 +02:00
Zahary Karadjov	a49b06a52a	Implement the is operator for the new static and typedesc type classes ... This also makes the first baby steps towards a sound treatment of higher-order kinds (type type int). Adds test cases showcasing the new features. * Also fixes breakage after the rebase	2018-06-16 16:46:32 +03:00
Zahary Karadjov	ab9969ed3b	Bugfix: the size of an array may be a static tuple element	2018-06-16 16:46:32 +03:00
Zahary Karadjov	509d6e9232	Bugfix: aliases to generic types were not considered implicit generic parameters	2018-06-16 16:46:32 +03:00