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 c1f72a2c..92c1801b 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 @@ -235,6 +235,10 @@ + + + + @@ -247,11 +251,11 @@ - + - + @@ -301,7 +305,7 @@ - + @@ -316,7 +320,7 @@ - + @@ -809,7 +813,7 @@ - + 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 a2d5155f..6f934fb5 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 @@ -120,555 +120,612 @@ - + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - + + - + - + - + - + - + - + - + - - - - - - - + - + + + + + + + - + - + - + - + - + - + - + + + + + + + + + + + + + + + + + + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - - - + + + - + - + - - + + + + + + + - + - - + + + + + + + - + - + - - - + + + - - - + + + - + - + - - + + + + + + + - + - - + + + + + + + - + - + - - - - - + + + + + - + - + - - + + + + + + + - + - - + + + + + + + - - - + + + - + - + - - + + + + + + + - + - - + + + + + + + - + - + - + - - - - + + + + - + - - - - + + + + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -676,33 +733,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -711,28 +768,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -740,176 +797,176 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -918,331 +975,355 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1251,28 +1332,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1280,26 +1361,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -1308,610 +1389,658 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + - - + + - - - - + + + + - - - - + + + + + + + + - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + - - + + - + - - + + - - - + + + - + - + - - + + - + - - + + - + - + - - - - + + + + - - - + + + - + - + - - + + - + + + + + + + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1920,78 +2049,84 @@ - - - - - - - - + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + @@ -2000,106 +2135,106 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2107,47 +2242,47 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2158,28 +2293,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2187,101 +2322,101 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2290,82 +2425,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + @@ -2374,31 +2521,37 @@ - - - + + + - - - + + + - + - + - + - + + + + + + + - - - + + + @@ -2407,100 +2560,106 @@ - - - + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + @@ -2509,117 +2668,117 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2627,33 +2786,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -2662,28 +2821,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2691,248 +2850,272 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2941,78 +3124,84 @@ - - - - - - - - + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + @@ -3021,106 +3210,106 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3128,47 +3317,47 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3179,28 +3368,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3208,51 +3397,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3261,82 +3450,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + @@ -3345,31 +3546,37 @@ - - - + + + - - - + + + - + - + - + - + + + + + + + - - - + + + @@ -3378,100 +3585,106 @@ - - - + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + @@ -3480,117 +3693,117 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3598,33 +3811,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -3633,28 +3846,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3662,51 +3875,51 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -3715,331 +3928,355 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4048,28 +4285,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4077,26 +4314,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4105,242 +4342,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + - - - + + + - + - + - + - + + + + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + + + + + + + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4349,28 +4610,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4378,20 +4639,20 @@ - - - - - - + + + + + + - + - + - + @@ -4400,53 +4661,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4454,26 +4715,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4481,38 +4742,38 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -4521,28 +4782,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4550,20 +4811,20 @@ - - - - - - + + + + + + - + - + - + @@ -4572,53 +4833,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4626,124 +4887,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4751,40 +5012,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -4792,95 +5053,95 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4889,28 +5150,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4918,145 +5179,145 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5065,28 +5326,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5094,170 +5355,170 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5266,22 +5527,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5289,20 +5550,20 @@ - - - - - - + + + + + + - + - + - + @@ -5311,22 +5572,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5334,20 +5595,20 @@ - - - - - - + + + + + + - + - + - + @@ -5356,53 +5617,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5410,26 +5671,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -5437,185 +5698,185 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -5624,22 +5885,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5647,20 +5908,20 @@ - - - - - - + + + + + + - + - + - + @@ -5669,53 +5930,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5723,124 +5984,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5848,26 +6109,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -5875,91 +6136,91 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -5968,22 +6229,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5991,20 +6252,20 @@ - - - - - - + + + + + + - + - + - + @@ -6013,53 +6274,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6067,124 +6328,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6192,93 +6453,93 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -6286,115 +6547,115 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -6403,53 +6664,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6457,124 +6718,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6582,124 +6843,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6707,26 +6968,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -6734,38 +6995,38 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -6774,28 +7035,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -6803,132 +7064,132 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -6937,22 +7198,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -6960,20 +7221,20 @@ - - - - - - + + + + + + - + - + - + @@ -6982,22 +7243,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7005,20 +7266,20 @@ - - - - - - + + + + + + - + - + - + @@ -7027,22 +7288,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7050,20 +7311,20 @@ - - - - - - + + + + + + - + - + - + @@ -7072,22 +7333,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7095,20 +7356,20 @@ - - - - - - + + + + + + - + - + - + @@ -7117,22 +7378,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7140,26 +7401,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7168,22 +7429,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7191,26 +7452,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7219,22 +7480,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7242,26 +7503,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7270,22 +7531,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7293,26 +7554,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7321,22 +7582,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7344,26 +7605,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7372,22 +7633,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7395,26 +7656,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7423,22 +7684,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7446,51 +7707,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -7499,22 +7760,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7522,30 +7783,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -7554,128 +7815,128 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -7683,30 +7944,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -7715,22 +7976,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7738,30 +7999,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -7770,159 +8031,159 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -7930,40 +8191,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -7971,98 +8232,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8071,53 +8332,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8125,40 +8386,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8166,98 +8427,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8266,53 +8527,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8320,40 +8581,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8361,98 +8622,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8461,53 +8722,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8515,40 +8776,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8556,98 +8817,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8656,53 +8917,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8710,40 +8971,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8751,98 +9012,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8851,53 +9112,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8905,40 +9166,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8946,98 +9207,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9046,128 +9307,128 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -9175,39 +9436,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9216,22 +9477,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9239,20 +9500,20 @@ - - - - - - + + + + + + - + - + - + @@ -9261,22 +9522,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9284,39 +9545,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9325,22 +9586,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9348,39 +9609,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9389,22 +9650,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9412,39 +9673,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9453,22 +9714,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9476,39 +9737,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9517,22 +9778,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9540,39 +9801,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9581,25 +9842,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -9607,132 +9868,138 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + + + + + + + - - - + + + - - - + + + - + - + - + @@ -9741,22 +10008,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9764,20 +10031,20 @@ - - - - - - + + + + + + - + - + - + @@ -9786,31 +10053,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -9818,20 +10085,20 @@ - - - - - - + + + + + + - + - + - + @@ -9839,23 +10106,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -9864,147 +10131,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10012,312 +10279,312 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -10326,22 +10593,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10349,20 +10616,20 @@ - - - - - - + + + + + + - + - + - + @@ -10371,31 +10638,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10403,20 +10670,20 @@ - - - - - - + + + + + + - + - + - + @@ -10424,23 +10691,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -10449,147 +10716,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10597,312 +10864,312 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -10911,22 +11178,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10934,20 +11201,20 @@ - - - - - - + + + + + + - + - + - + @@ -10956,31 +11223,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10988,20 +11255,20 @@ - - - - - - + + + + + + - + - + - + @@ -11009,23 +11276,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11034,147 +11301,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11182,218 +11449,218 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -11402,22 +11669,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11425,20 +11692,20 @@ - - - - - - + + + + + + - + - + - + @@ -11447,31 +11714,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11479,20 +11746,20 @@ - - - - - - + + + + + + - + - + - + @@ -11500,23 +11767,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11525,147 +11792,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11673,218 +11940,218 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -11893,22 +12160,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11916,20 +12183,20 @@ - - - - - - + + + + + + - + - + - + @@ -11938,31 +12205,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11970,20 +12237,20 @@ - - - - - - + + + + + + - + - + - + @@ -11991,23 +12258,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12016,31 +12283,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12048,20 +12315,20 @@ - - - - - - + + + + + + - + - + - + @@ -12069,23 +12336,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12094,22 +12361,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12117,39 +12384,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12158,31 +12425,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12190,20 +12457,20 @@ - - - - - - + + + + + + - + - + - + @@ -12211,23 +12478,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12236,22 +12503,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12259,39 +12526,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12300,31 +12567,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12332,20 +12599,20 @@ - - - - - - + + + + + + - + - + - + @@ -12353,23 +12620,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12378,75 +12645,75 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -12454,138 +12721,150 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + + + + + + + - - + + - + - + - + - + + + + + + + - - - + + + @@ -12596,22 +12875,22 @@ - - - + + + - - - + + + - + - + - + @@ -12620,31 +12899,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12652,20 +12931,20 @@ - - - - - - + + + + + + - + - + - + @@ -12673,23 +12952,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12698,75 +12977,75 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -12774,138 +13053,150 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + + + + + + + - - + + - + - + - + - + + + + + + + - - - + + + @@ -12916,22 +13207,22 @@ - - - + + + - - - + + + - + - + - + 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 800da692..8ea03d8c 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 @@ -301,6 +301,9 @@ + + + @@ -1989,6 +1992,21 @@ + + + + + + + + + + + + + + + @@ -4030,6 +4048,24 @@ + + + + + + + + + + + + + + + + + + @@ -4194,6 +4230,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -5845,16 +5904,16 @@ - + - + - + - + @@ -5880,7 +5939,7 @@ - + @@ -5893,7 +5952,7 @@ - + @@ -5930,7 +5989,7 @@ - + @@ -5943,7 +6002,7 @@ - + @@ -5976,7 +6035,7 @@ - + @@ -5989,7 +6048,7 @@ - + @@ -6014,7 +6073,7 @@ - + @@ -6027,7 +6086,7 @@ - + @@ -6147,6 +6206,21 @@ + + + + + + + + + + + + + + + @@ -6254,6 +6328,21 @@ + + + + + + + + + + + + + + + @@ -6299,6 +6388,21 @@ + + + + + + + + + + + + + + + @@ -6492,6 +6596,21 @@ + + + + + + + + + + + + + + + @@ -6802,6 +6921,21 @@ + + + + + + + + + + + + + + + @@ -6939,6 +7073,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -7151,6 +7308,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -8358,6 +8538,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -8519,6 +8722,29 @@ + + + + + + + + + + + + + + + + + + + + + + +