From 0359ff0ccdfd900babf0dca016d8bf7acdea9240 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 29 Jan 2017 14:22:17 +0100 Subject: [PATCH] Refactoring in the type templates: - get rid of the dependency on the type concept; - explicitly create type terms; - no more "alternative block"; - introduce alternative "new type" pseudo constraint; - delete the deprecated constructs; - transition to TypeTermDeclaration; - separate the term declaration from the type constraints; - phasing out obsolete stuff. --- test.xml | 2 + .../generator/template/main@generator.mps | 3342 ++++++++++------- .../jetbrains.mps.lang.typesystem2.mpl | 2 + .../languageModels/actions.mps | 331 -- .../languageModels/behavior.mps | 243 +- .../languageModels/constraints.mps | 109 +- .../languageModels/editor.mps | 905 +---- .../languageModels/intentions.mps | 222 -- .../languageModels/structure.mps | 215 +- .../languageModels/typesystem.mps | 252 +- .../mps/lang/typesystem2/program.mps | 424 +-- .../jetbrains/mps/lang/typesystem2/aspect.mps | 111 +- .../jetbrains/mps/lang/typesystem2/type.mps | 294 +- 13 files changed, 2885 insertions(+), 3567 deletions(-) diff --git a/test.xml b/test.xml index 9991e6af..14ccf931 100644 --- a/test.xml +++ b/test.xml @@ -814,6 +814,7 @@ + @@ -829,6 +830,7 @@ + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index f3d48d3f..83faea2f 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -12,6 +12,7 @@ + @@ -45,6 +46,7 @@ + @@ -139,17 +141,13 @@ - - - - + - @@ -230,6 +228,7 @@ + @@ -272,9 +271,6 @@ - - - @@ -525,6 +521,21 @@ + + + + + + + + + + + + + + + @@ -545,7 +556,6 @@ - @@ -7816,10 +7826,10 @@ - - + + - + @@ -7868,7 +7878,7 @@ - + @@ -8259,29 +8269,6 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -8399,127 +8386,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -8750,59 +8616,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -8958,6 +8771,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9658,46 +9524,46 @@ - + - - - - - - - - - - + + + + + + + + + + - + - - - - - - + + + + + + - + - + - - + + - - - + + + @@ -9705,176 +9571,161 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - + + + + + - - - - - - - + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + @@ -9882,212 +9733,99 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10097,114 +9835,480 @@ - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10381,7 +10485,7 @@ - + @@ -10480,10 +10584,7 @@ - - - - + @@ -10557,47 +10658,225 @@ - - - - - - + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10607,33 +10886,67 @@ - - - - - - + + + + + + - + - - - - + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10653,18 +10966,10 @@ - - - - - - - - - - - - + + + + @@ -10702,7 +11007,7 @@ - + @@ -15939,114 +16244,213 @@ - + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16057,23 +16461,23 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -16084,33 +16488,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + - @@ -18269,7 +18648,7 @@ - + @@ -18279,86 +18658,76 @@ - - + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - + + - - - @@ -18366,18 +18735,18 @@ - - - - - - - - - - + + + + + + + + + + + - @@ -18385,27 +18754,38 @@ + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + @@ -18415,63 +18795,14 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - @@ -18567,10 +18898,6 @@ - - - - @@ -18584,99 +18911,133 @@ - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + @@ -18804,158 +19165,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -19043,14 +19253,6 @@ - - - - - - - - @@ -19097,18 +19299,7 @@ - - - - - - - - - - - - + @@ -19120,20 +19311,9 @@ - - - - - - - - - - - - + @@ -19161,7 +19341,7 @@ - + @@ -19177,17 +19357,14 @@ - + - - - - + @@ -19208,17 +19385,16 @@ - + - - - - - - - + + + + + + @@ -19227,161 +19403,66 @@ - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + @@ -19389,12 +19470,12 @@ + + + - - - @@ -19409,15 +19490,17 @@ - - - - + + + - + + + + @@ -19436,7 +19519,7 @@ - + @@ -19610,13 +19693,18 @@ - - - - + + + + + + + + + - + @@ -19638,10 +19726,15 @@ - - - - + + + + + + + + + @@ -19717,6 +19810,391 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl index 321dcee1..4b46f583 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl @@ -31,6 +31,7 @@ fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) + a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates) @@ -42,6 +43,7 @@ + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps index 56a3b73e..b08342ca 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps @@ -87,7 +87,6 @@ - @@ -104,7 +103,6 @@ - @@ -987,138 +985,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1228,203 +1094,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps index 22b6c0a7..7e6a70cf 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps @@ -20,6 +20,7 @@ + @@ -115,6 +116,9 @@ + + + @@ -174,6 +178,7 @@ + @@ -188,9 +193,6 @@ - - - @@ -969,9 +971,11 @@ - - - + + + + + @@ -1169,35 +1173,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1303,33 +1278,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1634,5 +1582,176 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps index d2004262..7dbfd49f 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps @@ -925,15 +925,20 @@ - - - + + + + + + + + - - + + - + @@ -986,23 +991,28 @@ - - - - - - - - + + + + + + + + + + + + + - - + + - + @@ -1099,5 +1109,70 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index 5ef626e5..4dae0b9e 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -94,7 +94,6 @@ - @@ -195,6 +194,7 @@ + @@ -242,7 +242,6 @@ - @@ -348,7 +347,6 @@ - @@ -376,9 +374,6 @@ - - - @@ -422,7 +417,6 @@ - @@ -514,7 +508,6 @@ - @@ -1365,105 +1358,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2811,6 +2705,19 @@ + + + + + + + + + + + + + @@ -2824,6 +2731,18 @@ + + + + + + + + + + + + @@ -2880,10 +2799,10 @@ - + - + @@ -2913,7 +2832,7 @@ - + @@ -2922,6 +2841,12 @@ + + + + + + @@ -2929,7 +2854,10 @@ - + + + + @@ -3041,67 +2969,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3623,38 +3490,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3823,15 +3658,6 @@ - - - - - - - - - @@ -4070,20 +3896,6 @@ - - - - - - - - - - - - - - @@ -4098,160 +3910,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4673,155 +4331,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5233,11 +4742,6 @@ - - - - - @@ -5263,133 +4767,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5546,6 +4923,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6031,38 +5433,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6081,9 +5451,6 @@ - - - @@ -6179,5 +5546,149 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps index 3c9805a8..5fa3972e 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps @@ -17,7 +17,6 @@ - @@ -25,7 +24,6 @@ - @@ -39,13 +37,6 @@ - - - - - - - @@ -62,22 +53,10 @@ - - - - - - - - - - - - @@ -97,23 +76,14 @@ - - - - - - - - - @@ -122,18 +92,11 @@ - - - - - - - @@ -146,9 +109,6 @@ - - - @@ -164,9 +124,6 @@ - - - @@ -180,12 +137,6 @@ - - - - - - @@ -241,179 +192,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index bf9a8ad2..f1490ca8 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -92,44 +92,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -782,6 +744,13 @@ + + + + + + + @@ -810,12 +779,20 @@ + + + + + + + - + + @@ -834,22 +811,6 @@ - - - - - - - - - - - - - - - - @@ -942,13 +903,6 @@ - - - - - - - @@ -984,12 +938,6 @@ - - - - - - @@ -1082,6 +1030,7 @@ + @@ -1089,16 +1038,6 @@ - - - - - - - - - - @@ -1109,12 +1048,6 @@ - - - - - - @@ -1348,5 +1281,119 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps index 4f7f59d2..606ff606 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps @@ -45,10 +45,6 @@ - - - - @@ -81,7 +77,6 @@ - @@ -184,9 +179,6 @@ - - - @@ -202,7 +194,6 @@ - @@ -232,9 +223,6 @@ - - - @@ -1002,129 +990,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1472,89 +1337,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1767,5 +1549,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps index 37f1ed21..937dfbb2 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps @@ -3018,98 +3018,100 @@ - - + + - + - + - - - + + + + + - + - - + + - + - - - - - - - + + + + + + + - - - + + + - - + + - + - + - - + + - + - - - - - - + + + + + + - + - - - + + + - + - - + + - - + + - + - + - + - + @@ -3120,251 +3122,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3563,6 +3320,89 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps index 3623b282..01fde157 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps @@ -5,6 +5,7 @@ + @@ -107,9 +108,6 @@ - - - @@ -186,10 +184,6 @@ - - - - @@ -619,9 +613,9 @@ - + - + @@ -655,15 +649,17 @@ - - + + + + - + @@ -676,97 +672,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/type.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/type.mps index 1eb735a5..fcb2391b 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/type.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/type.mps @@ -14,6 +14,7 @@ + @@ -86,6 +87,7 @@ + @@ -140,6 +142,9 @@ + + + @@ -906,15 +911,42 @@ - - - + + - - + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -996,66 +1028,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1070,23 +1042,7 @@ - - - - - - - - - - - - - - - - - + @@ -1109,15 +1065,135 @@ - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -1135,22 +1211,6 @@ - - - - - - - - - - - - - - - - @@ -1175,7 +1235,7 @@ - + @@ -1291,5 +1351,21 @@ + + + + + + + + + + + + + + + +