diff --git a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index c4f44bd9..bee27f8a 100644 --- a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -21,7 +21,9 @@ - + + + @@ -88,6 +90,9 @@ + + + @@ -205,6 +210,7 @@ + @@ -239,6 +245,7 @@ + @@ -292,6 +299,9 @@ + + + @@ -300,7 +310,14 @@ + + + + + + + @@ -3148,87 +3165,19 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3483,9 +3432,9 @@ - - - + + + @@ -3525,6 +3474,66 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4428,124 +4437,15 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + @@ -5139,5 +5039,801 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl index b2f3e066..eff788a6 100644 --- a/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl +++ b/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl @@ -19,6 +19,7 @@ 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) ed6d7656-532c-4bc2-81d1-af945aeb8280(jetbrains.mps.baseLanguage.blTypes) diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index 6ea47848..dd455cc5 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -1650,5 +1650,36 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index 0e08ef61..603f47e9 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -517,5 +517,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/rule.mps b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/rule.mps index b6e62540..0973e5d6 100644 --- a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/rule.mps +++ b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/rule.mps @@ -20,6 +20,7 @@ + @@ -95,6 +96,9 @@ + + + @@ -117,6 +121,7 @@ + @@ -266,8 +271,8 @@ - - + + @@ -300,7 +305,7 @@ - + @@ -329,8 +334,8 @@ - - + + @@ -369,7 +374,7 @@ - + @@ -417,31 +422,11 @@ - - - - - - - - - - - - - - - - - - - - - - + + @@ -466,6 +451,7 @@ + @@ -478,15 +464,15 @@ - - - + + + - - + + @@ -499,11 +485,11 @@ - + - + @@ -524,15 +510,15 @@ - - - + + + - + @@ -646,7 +632,7 @@ - + @@ -664,11 +650,11 @@ - + - - + + @@ -1761,9 +1747,7 @@ - - - + @@ -1780,8 +1764,15 @@ - - + + + + + + + + + @@ -1796,9 +1787,7 @@ - - - + @@ -1821,8 +1810,15 @@ - - + + + + + + + + + @@ -1840,9 +1836,7 @@ - - - + @@ -1871,8 +1865,15 @@ - - + + + + + + + + + @@ -1893,9 +1894,7 @@ - - - + @@ -1914,8 +1913,18 @@ - - + + + + + + + + + + + + @@ -1948,9 +1957,9 @@ - - - + + + @@ -1967,7 +1976,7 @@ - + @@ -2663,13 +2672,14 @@ - - + + + @@ -2706,7 +2716,7 @@ - + @@ -2754,7 +2764,7 @@ - + @@ -2789,7 +2799,7 @@ - + @@ -2822,7 +2832,7 @@ - + @@ -2845,22 +2855,15 @@ - - - - - - - - - + + - + - + @@ -2912,7 +2915,7 @@ - + @@ -2987,11 +2990,11 @@ - + - - + + @@ -3001,7 +3004,7 @@ - + @@ -3184,7 +3187,7 @@ - + @@ -3195,7 +3198,7 @@ - + @@ -3221,6 +3224,19 @@ + + + + + + + + + + + + + @@ -3230,30 +3246,23 @@ - + - - - - - - - - - - + + + - - + + - + @@ -3271,7 +3280,33 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3294,19 +3329,19 @@ - + - - + + - - + + @@ -3894,114 +3929,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4062,8 +3989,18 @@ - - + + + + + + + + + + + + @@ -4099,7 +4036,7 @@ - + @@ -4265,5 +4202,588 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/template.mps b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/template.mps index 868646d6..7b2fa91c 100644 --- a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/template.mps @@ -13,6 +13,7 @@ + @@ -143,6 +144,9 @@ + + + @@ -437,31 +441,55 @@ - - - - - - - + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - - + + + 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 d90d613e..3d0bb64d 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 @@ -210,11 +210,11 @@ - + - + @@ -248,7 +248,7 @@ - + @@ -261,9 +261,9 @@ - + - + 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 8b992d17..90817668 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 @@ -13,12 +13,20 @@ + + + + + + + + @@ -112,272 +120,284 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - - + + - - + + - + - + - + - + - + - + - + - + + + + + + + - - - - - - + + + + + + - + - - - + + + - + - - - - + + + + - + - - + + - - - - - - + + + + + + - + - - - - + + + + - + - - - - + + + + - + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -386,127 +406,143 @@ - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - - - + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + @@ -514,173 +550,173 @@ - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - + + - - + + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -689,91 +725,107 @@ - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + @@ -781,173 +833,173 @@ - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - + + - - + + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -956,72 +1008,88 @@ - - - - - - + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + @@ -1029,176 +1097,176 @@ - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - + + - - + + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -1207,76 +1275,76 @@ - - - - - - + + + + + + - - + + - - + + - + - - - - - + + + - - + + - - + + - - - + + + + + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - - - - + + + + @@ -1285,139 +1353,167 @@ - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + + + + + + + + + + + + + - - - - - - + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - + - + - + - + - + - - + + - - - + + + - - - - + + + + - + - + - + - + - + - + - - + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + @@ -1425,34 +1521,34 @@ - - - + + + - - - - + + + + - + - + - + - + - + - + - - - + + + @@ -1460,65 +1556,65 @@ - - - + + + - + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + @@ -1526,72 +1622,72 @@ - - - + + + - - + + - - + + - + - - - + + + - + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -1600,72 +1696,88 @@ - - - - - - + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + @@ -1673,176 +1785,176 @@ - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - + + - - + + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -1851,76 +1963,76 @@ - - - - - - + + + + + + - - + + - - + + - + - - - - - + + + - - + + - - + + - - - + + + + + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - - - - + + + + @@ -1929,114 +2041,130 @@ - - - - - - + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - + - + - + - + - + - - + + - - - + + + - - - - + + + + - + - + - + - + - + - + - - + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + @@ -2044,34 +2172,34 @@ - - - + + + - - - - + + + + - + - + - + - + - + - + - - - + + + @@ -2079,65 +2207,65 @@ - - - + + + - + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + @@ -2145,72 +2273,72 @@ - - - + + + - - + + - - + + - + - - - + + + - + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -2219,97 +2347,113 @@ - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + - - - - - - + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + @@ -2317,173 +2461,173 @@ - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - + + - - + + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + @@ -2492,91 +2636,107 @@ - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - + + + + + + - + - - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + @@ -2584,2192 +2744,2858 @@ - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - - - + + + + - + - + - + - + - + - + - + - - - - - - - + + + + + + + - - + + - + - + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - - + + - - + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - - + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - + - - - - - - - + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - - + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - + - - - - - - - + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - + + + + + - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - + - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - + - - - - - - + + + + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - + - - - - - - - + + + + + + + + + + + + + - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + - - - - - - - + + + + + + + - - - - - - - - - - + + + + - - + + - - - - - - - + + + + + + + - - - - - - - - - - - - - - + + + + + - - - - - - - + + + + + + + - - - - - - - - - - - - - - + + + + + - - - - - - - + + + + + + + - - - - - - - - - - - - - - + + + + + - - - - - - - + + + + + + + - - - - - - - - - - - - - - + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - + - - - - - - + + + + + + - - + + - + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - + - - - - - - + + + + + + - - + + - - - + + + - - + + - - - - + + + + - + - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - + - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + - - - - - - - + + + + + + + - - - - - - - - - - - + + + + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - - - - + + + + - + - + - + - + - + - - - + + + - - + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + - - + + - - - + + + - - + + - - + + - - - + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - - + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + - - + + - - - + + + - - + + - - + + - - - + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - - + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + - - + + - - - + + + - - + + - - + + - - - + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - - + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + - - + + - - - + + + - - + + - - + + - - - + + + - - + + - - + + - - - - + + + + - - + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - - + + - - - + + + - + - - - + + + - - + + - - - - - - - + + + + + + + - - - - - + + + + + - - - - - - - + + + + + + + + + + - - - - - + + + + + - - - - + + + + + + + + + - - - - - - - + + + + + + + + + + - - - - - + + + + + - - - - + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + - - + + - - + + - - - - + + + + - - + + - - + + - + - - - + + + - + - - - + + + - - + + - - - + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + @@ -4779,123 +5605,156 @@ - - - + + + - - + + - - - - - - - + + + + + + + - - - - - - - - - - - - - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - + - - - + + + - + - - - + + + - - + + - - - + + + - - - - + + + + - + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + @@ -4905,13 +5764,13 @@ - - - + + + - - + + 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 e986c04f..757de38e 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 @@ -23,6 +23,7 @@ + @@ -38,6 +39,7 @@ + @@ -101,6 +103,7 @@ + @@ -355,6 +358,11 @@ + + + + + @@ -1806,6 +1814,131 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2118,6 +2251,73 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2591,6 +2791,23 @@ + + + + + + + + + + + + + + + + + @@ -2599,13 +2816,8 @@ - - - - - - - + + @@ -2632,6 +2844,71 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2665,28 +2942,6 @@ - - - - - - - - - - - - - - - - - - - - - - @@ -2731,6 +2986,7 @@ + @@ -2768,8 +3024,8 @@ - - + + @@ -4028,6 +4284,81 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4073,6 +4404,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4103,6 +4462,81 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4114,21 +4548,34 @@ - - - - + + + + - - + + - - - + + + + + + + + + + + + + + + + + - @@ -4261,238 +4708,20 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4505,6 +4734,223 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4839,6 +5285,170 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4975,6 +5585,20 @@ + + + + + + + + + + + + + + @@ -7643,5 +8267,61 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 795165e0..c1208c27 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 @@ -28,6 +28,7 @@ + @@ -88,10 +89,6 @@ - - - - @@ -158,6 +155,7 @@ + @@ -174,6 +172,10 @@ + + + + @@ -204,15 +206,6 @@ - - - - - - - - - @@ -380,13 +373,14 @@ - - + + + @@ -395,44 +389,88 @@ - - - + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - - - - - - - - - - - - - + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index 6b87288d..ec1f5b2a 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -262,8 +262,8 @@ - - + + @@ -317,8 +317,8 @@ - - + + @@ -366,6 +366,9 @@ + + + @@ -378,6 +381,7 @@ + @@ -406,6 +410,7 @@ + @@ -465,6 +470,9 @@ + + + @@ -509,6 +517,9 @@ + + + @@ -520,13 +531,16 @@ + + + - - + + @@ -556,6 +570,9 @@ + + + @@ -567,13 +584,16 @@ + + + - - + + @@ -603,6 +623,9 @@ + + + @@ -614,6 +637,9 @@ + + + @@ -650,6 +676,9 @@ + + + @@ -661,6 +690,9 @@ + + + @@ -743,6 +775,9 @@ + + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps index 6d937513..943fb7ed 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps @@ -3805,6 +3805,9 @@ + + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/variable.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/variable.mps new file mode 100644 index 00000000..9e55d59a --- /dev/null +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/variable.mps @@ -0,0 +1,508 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps b/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps index 92540a4b..f8733248 100644 --- a/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps +++ b/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps @@ -92,6 +92,10 @@ + + + + @@ -156,6 +160,9 @@ + + + @@ -1177,13 +1184,16 @@ + + + - - + + @@ -1192,6 +1202,9 @@ + + + @@ -1222,7 +1235,7 @@ - + @@ -1257,8 +1270,8 @@ - - + + @@ -1278,12 +1291,19 @@ - - - - - - + + + + + + + + + + + + + diff --git a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps index 369a1f98..704d3939 100644 --- a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps +++ b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps @@ -29,6 +29,7 @@ + @@ -211,6 +212,7 @@ + @@ -620,6 +622,7 @@ + @@ -927,7 +930,7 @@ - + @@ -936,6 +939,7 @@ + @@ -951,45 +955,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1007,97 +972,144 @@ - - - - - - - - - - - + + + + + + + - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + @@ -1105,7 +1117,7 @@ - + @@ -2102,7 +2114,7 @@ - + @@ -2176,121 +2188,239 @@ - - - + + + - - - - - + + + + + + + + + - - + + - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2394,7 +2524,145 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2939,8 +3207,8 @@ - - + + @@ -2948,8 +3216,8 @@ - - + + diff --git a/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/builtin/containment.mps b/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/builtin/containment.mps index e0637211..16898fff 100644 --- a/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/builtin/containment.mps +++ b/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/builtin/containment.mps @@ -481,6 +481,9 @@ + + + diff --git a/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/builtin/conversion.mps b/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/builtin/conversion.mps index e6e87361..adc70d67 100644 --- a/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/builtin/conversion.mps +++ b/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/builtin/conversion.mps @@ -2108,6 +2108,9 @@ + + +