From ced411a708ccdfcbb11eb36e6676e8bedfdbaf3a Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 30 Mar 2015 16:05:23 +0200 Subject: [PATCH] One action to collect rules, make and run. Mark all types in the editor. Rewrote launching of typechecking constraints --- .../lang/typesystem2/samplechecker/chr.mps | 10414 ++++++++-------- ....lang.typesystem2.samplechecker.runner.msd | 3 + .../lang/typesystem2/samplechecker/runner.mps | 911 +- ...ains.mps.lang.typesystem2.sampleplugin.msd | 5 + .../lang/typesystem2/sampleplugin/plugin.mps | 2579 +++- .../models/jetbrains/mps/unification/tree.mps | 612 +- 6 files changed, 8773 insertions(+), 5751 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps index f2a51497..ad849f7b 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps @@ -120,511 +120,511 @@ - + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - + - + - + - + - + - - - - + + + + - + - - - - + + + + - + - - + + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - - - + + + - + - + - + - - + + - + - + - - + + - + - + - - - + + + - - - + + + - + - + - + - - + + - + - + - - + + - + - + - - - - - + + + + + - + - + - + - - + + - + - + - - + + @@ -632,31 +632,31 @@ - - - + + + - + - + - + - - + + - + - + - - + + @@ -664,98 +664,98 @@ - + - + - + - - - - + + + + - + - - - - + + + + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -763,33 +763,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -798,28 +798,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -827,176 +827,176 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -1005,266 +1005,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1273,53 +1273,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1327,33 +1327,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1362,28 +1362,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1391,26 +1391,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -1419,266 +1419,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1687,53 +1687,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1741,33 +1741,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1776,28 +1776,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1805,272 +1805,272 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2079,84 +2079,84 @@ - - - - - - - - + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -2165,106 +2165,106 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2272,47 +2272,47 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2323,28 +2323,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2352,101 +2352,101 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2455,94 +2455,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2551,37 +2551,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2590,106 +2590,106 @@ - - - + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2698,117 +2698,117 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2816,33 +2816,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -2851,28 +2851,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2880,272 +2880,272 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3154,84 +3154,84 @@ - - - - - - - - + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -3240,106 +3240,106 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3347,47 +3347,47 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3398,28 +3398,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3427,51 +3427,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3480,94 +3480,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3576,37 +3576,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3615,106 +3615,106 @@ - - - + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3723,117 +3723,117 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3841,33 +3841,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -3876,28 +3876,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3905,51 +3905,51 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -3958,266 +3958,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4226,53 +4226,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4280,33 +4280,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -4315,28 +4315,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4344,26 +4344,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4372,266 +4372,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4640,28 +4640,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4669,20 +4669,20 @@ - - - - - - + + + + + + - + - + - + @@ -4691,53 +4691,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4745,26 +4745,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4772,38 +4772,38 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -4812,28 +4812,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4841,20 +4841,20 @@ - - - - - - + + + + + + - + - + - + @@ -4863,53 +4863,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4917,124 +4917,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5042,40 +5042,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -5083,95 +5083,95 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5180,28 +5180,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5209,145 +5209,145 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5356,28 +5356,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5385,170 +5385,170 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5557,22 +5557,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5580,20 +5580,20 @@ - - - - - - + + + + + + - + - + - + @@ -5602,22 +5602,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5625,20 +5625,20 @@ - - - - - - + + + + + + - + - + - + @@ -5647,53 +5647,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5701,26 +5701,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -5728,185 +5728,185 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -5915,22 +5915,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5938,20 +5938,20 @@ - - - - - - + + + + + + - + - + - + @@ -5960,53 +5960,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6014,124 +6014,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6139,26 +6139,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -6166,91 +6166,91 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -6259,22 +6259,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -6282,20 +6282,20 @@ - - - - - - + + + + + + - + - + - + @@ -6304,53 +6304,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6358,124 +6358,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6483,93 +6483,93 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -6577,115 +6577,115 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -6694,53 +6694,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6748,124 +6748,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6873,124 +6873,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6998,26 +6998,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7025,38 +7025,38 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7065,28 +7065,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -7094,132 +7094,132 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7228,22 +7228,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7251,20 +7251,20 @@ - - - - - - + + + + + + - + - + - + @@ -7273,22 +7273,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7296,20 +7296,20 @@ - - - - - - + + + + + + - + - + - + @@ -7318,22 +7318,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7341,20 +7341,20 @@ - - - - - - + + + + + + - + - + - + @@ -7363,22 +7363,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7386,20 +7386,20 @@ - - - - - - + + + + + + - + - + - + @@ -7408,22 +7408,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7431,26 +7431,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7459,22 +7459,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7482,26 +7482,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7510,22 +7510,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7533,26 +7533,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7561,22 +7561,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7584,26 +7584,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7612,22 +7612,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7635,26 +7635,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7663,22 +7663,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7686,26 +7686,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7714,22 +7714,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7737,51 +7737,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -7790,22 +7790,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7813,30 +7813,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -7845,128 +7845,128 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -7974,30 +7974,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -8006,22 +8006,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -8029,30 +8029,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -8061,159 +8061,159 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8221,40 +8221,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8262,98 +8262,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8362,53 +8362,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8416,40 +8416,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8457,98 +8457,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8557,53 +8557,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8611,40 +8611,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8652,98 +8652,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8752,53 +8752,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8806,40 +8806,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8847,98 +8847,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8947,53 +8947,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9001,40 +9001,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9042,98 +9042,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9142,53 +9142,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9196,40 +9196,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9237,98 +9237,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9337,128 +9337,128 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -9466,39 +9466,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9507,22 +9507,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9530,20 +9530,20 @@ - - - - - - + + + + + + - + - + - + @@ -9552,22 +9552,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9575,39 +9575,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9616,22 +9616,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9639,39 +9639,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9680,22 +9680,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9703,39 +9703,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9744,22 +9744,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9767,39 +9767,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9808,22 +9808,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9831,39 +9831,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9872,25 +9872,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -9898,138 +9898,138 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -10038,22 +10038,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10061,20 +10061,20 @@ - - - - - - + + + + + + - + - + - + @@ -10083,31 +10083,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10115,20 +10115,20 @@ - - - - - - + + + + + + - + - + - + @@ -10136,23 +10136,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -10161,147 +10161,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10309,312 +10309,312 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -10623,22 +10623,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10646,20 +10646,20 @@ - - - - - - + + + + + + - + - + - + @@ -10668,31 +10668,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10700,20 +10700,20 @@ - - - - - - + + + + + + - + - + - + @@ -10721,23 +10721,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -10746,147 +10746,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10894,312 +10894,312 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -11208,22 +11208,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11231,20 +11231,20 @@ - - - - - - + + + + + + - + - + - + @@ -11253,31 +11253,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11285,20 +11285,20 @@ - - - - - - + + + + + + - + - + - + @@ -11306,23 +11306,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11331,147 +11331,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11479,218 +11479,218 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -11699,22 +11699,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11722,20 +11722,20 @@ - - - - - - + + + + + + - + - + - + @@ -11744,31 +11744,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11776,20 +11776,20 @@ - - - - - - + + + + + + - + - + - + @@ -11797,23 +11797,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11822,147 +11822,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11970,218 +11970,218 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -12190,22 +12190,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12213,20 +12213,20 @@ - - - - - - + + + + + + - + - + - + @@ -12235,31 +12235,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12267,20 +12267,20 @@ - - - - - - + + + + + + - + - + - + @@ -12288,23 +12288,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12313,31 +12313,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12345,20 +12345,20 @@ - - - - - - + + + + + + - + - + - + @@ -12366,23 +12366,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12391,22 +12391,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12414,39 +12414,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12455,31 +12455,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12487,20 +12487,20 @@ - - - - - - + + + + + + - + - + - + @@ -12508,23 +12508,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12533,22 +12533,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12556,39 +12556,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12597,31 +12597,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12629,20 +12629,20 @@ - - - - - - + + + + + + - + - + - + @@ -12650,23 +12650,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12675,75 +12675,75 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -12751,150 +12751,150 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - - + + + @@ -12905,22 +12905,22 @@ - - - + + + - - - + + + - + - + - + @@ -12929,31 +12929,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12961,20 +12961,20 @@ - - - - - - + + + + + + - + - + - + @@ -12982,23 +12982,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -13007,75 +13007,75 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -13083,150 +13083,150 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - - + + + @@ -13237,22 +13237,22 @@ - - - + + + - - - + + + - + - + - + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd index 2a0cf33c..868b4ac6 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd @@ -10,6 +10,7 @@ b6db9382-d342-43fd-8051-5b6af3c0c80a(jetbrains.mps.lang.typesystem2.samplechecker.handler) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) @@ -17,10 +18,12 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) 894463aa-8754-49c0-bf4b-6a32af66b376(jetbrains.mps.jchr) 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) + 760a0a8c-eabb-4521-8bfd-65db761a9ba3(jetbrains.mps.baseLanguage.logging) + 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 082ae445..1daf97f4 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 @@ -5,6 +5,7 @@ + @@ -17,6 +18,8 @@ + + @@ -56,9 +59,21 @@ + + + + + + + + + + + + @@ -76,6 +91,7 @@ + @@ -83,6 +99,7 @@ + @@ -101,6 +118,7 @@ + @@ -122,10 +140,16 @@ + + + + + + @@ -176,6 +200,9 @@ + + + @@ -184,21 +211,8 @@ - - - - - - - - - - - - - - - + + @@ -215,6 +229,14 @@ + + + + + + + + @@ -223,6 +245,11 @@ + + + + + @@ -236,124 +263,116 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + - - + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + @@ -396,7 +415,7 @@ - + @@ -422,7 +441,583 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -937,84 +1532,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd index 31695b1d..c00c50e4 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd @@ -11,6 +11,7 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) c7366fe8-43b9-446d-82b3-5cfc76e71f17(jetbrains.mps.typechecking.rules) + b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) 0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling) df9d410f-2ebb-43f7-893a-483a4f085250(jetbrains.mps.smodel.resources) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) @@ -20,6 +21,8 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) a1250a4d-c090-42c3-ad7c-d298a3357dd4(jetbrains.mps.make.runtime) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) + 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + 5b1f863d-65a0-41a6-a801-33896be24202(jetbrains.mps.ide.editor) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) @@ -32,6 +35,7 @@ 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) 443f4c36-fcf5-4eb6-9500-8d06ed259e3e(jetbrains.mps.baseLanguage.classifiers) 95f8a3e6-f994-4ca0-a65e-763c9bae2d3b(jetbrains.mps.make.script) + 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) @@ -48,6 +52,7 @@ + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index 39f1ac5b..06a0c61e 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -12,6 +12,7 @@ + @@ -44,8 +45,20 @@ - - + + + + + + + + + + + + + + @@ -100,12 +113,20 @@ + + + + + + + + @@ -116,6 +137,13 @@ + + + + + + + @@ -130,6 +158,11 @@ + + + + + @@ -143,17 +176,29 @@ + + + + + + + + - + + + + + @@ -167,9 +212,13 @@ + + + + @@ -194,6 +243,7 @@ + @@ -204,6 +254,8 @@ + + @@ -220,7 +272,10 @@ - + + + + @@ -236,13 +291,6 @@ - - - - - - - @@ -252,6 +300,12 @@ + + + + + + @@ -261,6 +315,9 @@ + + + @@ -295,7 +352,23 @@ - + + + + + + + + + + + + + + + + + @@ -315,6 +388,7 @@ + @@ -327,9 +401,6 @@ - - - @@ -350,8 +421,6 @@ - - @@ -1299,10 +1368,14 @@ - + + + + + @@ -1323,10 +1396,15 @@ - - - - + + + + + + + + + @@ -1407,12 +1485,41 @@ + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + @@ -1424,6 +1531,10 @@ + + + + @@ -1488,15 +1599,44 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + - + @@ -1506,6 +1646,10 @@ + + + + @@ -1524,236 +1668,263 @@ + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + - - + + - - - + + - + + - + - - - - - - - + - - - - - - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1765,29 +1936,61 @@ - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + - - - + + + + + + + + @@ -1813,10 +2016,13 @@ + + + - - + + @@ -2219,5 +2425,1920 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps index 1520c670..f7ace6ac 100644 --- a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps +++ b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps @@ -47,6 +47,9 @@ + + + @@ -11476,6 +11479,8 @@ + + @@ -11502,102 +11507,16 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - @@ -11613,6 +11532,186 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11631,12 +11730,70 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11700,12 +11857,15 @@ - - - + + + - - + + + + + @@ -11805,12 +11965,15 @@ - - - + + + - - + + + + + @@ -11894,12 +12057,15 @@ - - - + + + - - + + + + + @@ -12021,12 +12187,15 @@ - - - + + + - - + + + + + @@ -12106,12 +12275,19 @@ - - - - - - + + + + + + + + + + + + + @@ -12726,6 +12902,199 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12784,6 +13153,13 @@ + + + + + + +