Fedor Isakov 1c2bfc7346 Typechecking templates: add missing support for primitive types; protect rule applications from running into a cycle on recursive types; git rid of cycles in the typechecking.		2017-08-23 14:33:30 +02:00
..
jetbrains.mps.baseLanguageExt	Typechecking templates: add missing support for primitive types; protect rule applications from running into a cycle on recursive types; git rid of cycles in the typechecking.	2017-08-23 14:33:30 +02:00
jetbrains.mps.typechecking.annotation	Switch to MPS 172 latest RC build. Fix a couple of parent-invariant violations in the type system, remove obsolete intention.	2017-07-19 16:22:59 +02:00