From 1f7e80086409da070ecca7c9f2ab3eefdedc181d Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 27 Aug 2015 13:55:28 +0200 Subject: [PATCH] Updated the typechecking templates after the refactoring --- .../typesystem2/samplechecker/template.mps | 1308 ++++++++--------- 1 file changed, 654 insertions(+), 654 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps index 71823232..9e08c3fd 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps @@ -457,7 +457,6 @@ - @@ -482,6 +481,7 @@ + @@ -1074,45 +1074,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1260,48 +1221,48 @@ - - - - - - - - - - - - + + + + + + + + + - - + + - + - - - + + + - + - + - + - + - + + + + @@ -1397,41 +1358,48 @@ - - - - - - - - - - - - - + + + + + + + + + - - + + - + + + + + + + + + + + - - - + - + - - - - + + + + + + + @@ -1609,6 +1577,38 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1943,34 +1943,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2235,62 +2207,37 @@ - - - - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - + + + + @@ -2492,6 +2439,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2547,59 +2547,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2763,62 +2710,62 @@ - - - - - + + - + - - - - - - - - + + + + + + + + - - - + + + - + - - - - - - - + + + + + + + - + - + - + - + - + + + + @@ -2983,29 +2930,62 @@ - - - - - - - + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3286,6 +3266,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -6271,27 +6271,6 @@ - - - - - - - - - - - - - - - - - - - - - @@ -6349,6 +6328,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -7527,150 +7527,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -8366,153 +8222,153 @@ - - - - - + + - + - - - + + + - - + + - - - + + + - - + + - - - - - - - + + + + + + + - + - - - - - - + + + + + + - + - - - + + + - + - - - - - - - + + + + + + + - + - + - + - - - - - + + + + + - + - - - - - - - - + + + + + + + + - - - + + + - + - - - - - - - + + + + + + + - + - + - + - + - + - + + + + @@ -9025,6 +8881,150 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10390,159 +10390,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10880,6 +10727,159 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +