Fedor Isakov 6476dcbd68 Another typechecking test.		2016-05-10 11:24:45 +02:00
..
jetbrains.mps.lang.typesystem2.sample	More tests on lists and unification.	2016-04-28 15:39:55 +02:00
jetbrains.mps.lang.typesystem2.sample.test	Another typechecking test.	2016-05-10 11:24:45 +02:00
jetbrains.mps.lang.typesystem2.samplechecker	Typechecking templates: new constraint "compatibleWith" to support method body checking; better support for integer type (ad hoc for now).	2016-04-26 17:42:27 +02:00
jetbrains.mps.lang.typesystem2.samplechecker.handler	Fix typechecking using JCHR	2016-01-29 16:18:32 +01:00
jetbrains.mps.lang.typesystem2.samplechecker.handler.test	Refactoring in the reactor API:	2016-03-16 16:28:59 +01:00
jetbrains.mps.lang.typesystem2.samplechecker.handler.util	Type declarations have references to type concept. Swith to using concept refs instead of conceptNode in the templates. Still relying on the "declaration node" of a concept.	2016-03-31 13:57:58 +02:00
jetbrains.mps.lang.typesystem2.samplechecker.runner	Escape HTML chars in the tooltips (doh!)	2016-03-21 12:39:47 +01:00
jetbrains.mps.lang.typesystem2.samplechecker.test	Migrate to MPS 3.3.1. Fix missing import.	2016-01-26 12:48:11 +01:00
jetbrains.mps.lang.typesystem2.sampleplugin	Avoid rendering problems of the activation trace because of failed assertion in the editor. Additional action "Make Type With Trace"	2016-04-26 17:41:06 +02:00