From 8ac189f4aaa15feb8ccf421d134e2ee0c962612c Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 1 Feb 2015 21:57:59 +0100 Subject: [PATCH] Adjustments in the typechecking rule templates --- .../lang/typesystem2/samplechecker/runner.mps | 325 +- .../lang/typesystem2/samplechecker/chr.mps | 12868 ++++++++-------- .../typesystem2/samplechecker/template.mps | 401 +- 3 files changed, 7312 insertions(+), 6282 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps index ce7af958..1674842d 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps @@ -13,6 +13,8 @@ + + @@ -133,9 +135,6 @@ - - - @@ -164,7 +163,6 @@ - @@ -212,11 +210,11 @@ - + - + @@ -234,13 +232,23 @@ + + + + + + + + + + - + @@ -248,8 +256,8 @@ - - + + @@ -261,214 +269,56 @@ - - + + + + + + + - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -562,6 +412,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -569,20 +442,8 @@ - - - - - - - - - - - - - - + + @@ -590,30 +451,13 @@ - - - - - - - - + + + + - - - - - - - - - - - - - - - + + @@ -622,8 +466,13 @@ - - + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps index 03ed2a44..f70a1c36 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps @@ -16,6 +16,9 @@ + + + @@ -42,8 +45,12 @@ + + + + @@ -71,6 +78,10 @@ + + + + @@ -90,7 +101,6 @@ - @@ -101,223 +111,223 @@ - + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - - - - + + + + - - - - - + + + + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -326,112 +336,248 @@ - - - - - + + + + + - - - - + + + + - - - - - - - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -439,593 +585,593 @@ - - - - - + + + + + - - - - + + + + - - - - - + + + + + - + - - - - + + + + - + - - - + + + - + - + - - - - - + + + + + - - - - + + + + - - - + + + - - - - - + + + + + - - - - + + + + - - - - - + + + + + - - - - + + + + - - - - - + + + + + - - - - + + + + - - - + + + - - - - - + + + + + - - - - + + + + - - - + + + - - - - - + + + + + - - - - + + + + - + - - - + + + - + - - - - - + + + + + - + - - - + + + - + - - - - + + + + - - + + - + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - + - - - + + + - + - - - - - + + + + + - - - - + + + + - - - - - + + + + + - - - - + + + + - + - - - + + + - + - - - - - + + + + + - - - - + + + + - - - - - + + + + + - + - - - + + + - + - - - - + + + + - - + + - - + + - - - + + + - - + + - + - + - + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - + - - - + + + - + - - - - - + + + + + - - - - + + + + - - - - - + + + + + - - - - + + + + - - - - + + + + - + - + - + - + - + - - - + + + - + - - - - - + + + + + - - - - + + + + - - - - + + + + - + - + - + - + - + - - - + + + - + - - - - - + + + + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -1034,404 +1180,540 @@ - - - - - + + + + + - - - - + + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - - - - - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -1440,194 +1722,194 @@ - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -1635,50 +1917,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -1686,50 +1968,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -1737,50 +2019,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -1788,50 +2070,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -1839,57 +2121,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -1897,57 +2179,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -1955,50 +2237,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2006,50 +2288,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2057,50 +2339,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2108,50 +2390,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2159,50 +2441,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2210,50 +2492,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2261,57 +2543,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -2319,50 +2601,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2370,50 +2652,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2421,50 +2703,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2472,50 +2754,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2523,57 +2805,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -2581,57 +2863,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -2639,50 +2921,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2690,50 +2972,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -2741,57 +3023,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -2799,57 +3081,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -2857,57 +3139,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -2915,57 +3197,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -2973,50 +3255,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3024,57 +3306,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -3082,93 +3364,93 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3178,50 +3460,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3229,50 +3511,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3280,50 +3562,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3331,50 +3613,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3382,50 +3664,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3433,50 +3715,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3484,57 +3766,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -3542,57 +3824,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -3600,57 +3882,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -3658,50 +3940,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3709,50 +3991,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -3760,57 +4042,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -3818,858 +4100,858 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -4678,434 +4960,570 @@ - - - - - + + + + + - - - - + + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - - - - - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -5114,48 +5532,48 @@ - - - - - + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -5164,48 +5582,48 @@ - - - - - + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -5214,629 +5632,629 @@ - - - - - + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - + - - - + + + - + - + - + - - - - - + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - + - - - + + + - + - + - + - - - - - + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - + - - - + + + - + - + - + - - - - - + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - + - - - + + + - + - + - + - - - - - + + + + + - + - - - - + + + + - + - - - - - + + + + + - + - - - - + + + + - + - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - + - + - - - - - + + + + + - + - - - - + + + + - + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -5844,50 +6262,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -5895,50 +6313,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -5946,50 +6364,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -5997,50 +6415,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6048,50 +6466,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6099,50 +6517,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6150,50 +6568,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6201,50 +6619,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6252,50 +6670,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6303,50 +6721,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6354,50 +6772,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6405,50 +6823,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6456,50 +6874,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6507,50 +6925,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6558,50 +6976,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6609,50 +7027,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6660,50 +7078,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6711,50 +7129,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6762,50 +7180,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6813,50 +7231,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6864,50 +7282,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6915,50 +7333,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -6966,50 +7384,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7017,50 +7435,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7068,50 +7486,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7119,50 +7537,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7170,50 +7588,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7221,50 +7639,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7272,50 +7690,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7323,50 +7741,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7374,50 +7792,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7425,50 +7843,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7476,50 +7894,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7527,50 +7945,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7578,50 +7996,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7629,50 +8047,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7680,50 +8098,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7731,50 +8149,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -7782,57 +8200,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -7840,57 +8258,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -7898,57 +8316,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -7956,57 +8374,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -8014,57 +8432,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -8072,57 +8490,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -8130,57 +8548,57 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + @@ -8188,1599 +8606,1603 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - - - - - + + + + + - + - + - + - + - - - - + + + + - + - - + + - - - + + + - + - - - + + + - + - - + + - - - + + + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - - - + + + + + - - - + + + + + @@ -9788,282 +10210,473 @@ - - - - - + + + + + - - - - + + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - - - - - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + - - - + + - - - + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - + + + - + - - - - - + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + - + - - + + - - - - + + + + - + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -10071,50 +10684,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -10122,50 +10735,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -10173,50 +10786,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -10224,256 +10837,256 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -10481,50 +11094,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -10532,79 +11145,81 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + + + @@ -10612,79 +11227,81 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + + + @@ -10692,114 +11309,118 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + + + - - - + + + + + @@ -10809,50 +11430,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -10860,50 +11481,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -10911,120 +11532,124 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - + - + - + - - - - + + + + - + - - + + - - - + + + - + - - - + + + - + - - + + - - - + + + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - - - + + + + + - - - + + + + + @@ -11032,702 +11657,893 @@ - - - - - + + + + + - - - - + + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - - - - - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + - - - + + - - - + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + - - - - - + + + + + - + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - - + + + + - + - - - - + + + + - + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -11735,50 +12551,50 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - + + + + - - - - + + + + - + - + @@ -11786,180 +12602,180 @@ - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - + + - - + + - - - - + + + + - - + + - - - - + + + + - + - - - - - + + + + + - - + + - - - - + + + + - + - + - - - - - + + + + + - + - + - - - - + + + + - + - - + + - - - + + + - + - - - + + + - + - - - - - + + + + + - + - + - - - - + + + + - + - - + + - - - + + + - + - - - + + + - + 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 1a041c18..6124ba42 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 @@ -21,6 +21,7 @@ + @@ -321,11 +322,18 @@ + + + + + + + @@ -356,6 +364,7 @@ + @@ -591,7 +600,7 @@ - + @@ -670,11 +679,8 @@ - - - - - + + @@ -1039,7 +1045,7 @@ - + @@ -1475,11 +1481,8 @@ - - - - - + + @@ -1498,7 +1501,9 @@ - + + + @@ -2107,7 +2112,7 @@ - + @@ -2505,7 +2510,7 @@ - + @@ -2562,7 +2567,7 @@ - + @@ -3606,8 +3611,368 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -3809,7 +4174,7 @@ - +