From 8af807b78fe4ed916a44c12eb73a677fbfc968af Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 23 Sep 2015 17:13:15 +0200 Subject: [PATCH] Refactoring in typesystem2: merge let value and the logical variables declared as exported into single Context type. Updated the runtime and the generator to support extending prototype's context. Some minor fixes in the language. --- .../generator/template/main@generator.mps | 5321 ++++++++++------- .../languageModels/behavior.mps | 285 +- .../languageModels/constraints.mps | 6 +- .../languageModels/editor.mps | 11 - .../languageModels/structure.mps | 12 +- .../mps/lang/typesystem2/template.mps | 251 +- .../languageModels/behavior.mps | 16 + .../languageModels/constraints.mps | 4 +- 8 files changed, 3668 insertions(+), 2238 deletions(-) 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 0e547667..551e8bdb 100644 --- a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -11,6 +11,7 @@ + @@ -38,6 +39,7 @@ + @@ -571,10 +573,15 @@ - - + + - + + + + + + @@ -582,7 +589,7 @@ - + @@ -591,8 +598,8 @@ - - + + @@ -606,33 +613,28 @@ - - - - - - + - + - + - - + + @@ -642,19 +644,14 @@ - + - - - - - - + @@ -667,9 +664,9 @@ - + @@ -702,7 +699,7 @@ - + @@ -829,6 +826,150 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1112,8 +1253,8 @@ - - + + @@ -1207,8 +1348,8 @@ - - + + @@ -1304,8 +1445,8 @@ - - + + @@ -1378,8 +1519,8 @@ - - + + @@ -1445,8 +1586,8 @@ - - + + @@ -1455,8 +1596,8 @@ - - + + @@ -2081,8 +2222,8 @@ - - + + @@ -2116,7 +2257,7 @@ - + @@ -2225,58 +2366,56 @@ - - - - + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - @@ -2334,13 +2473,108 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -2386,77 +2620,30 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -2464,25 +2651,41 @@ - - - + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -2492,8 +2695,8 @@ - - + + @@ -2502,6 +2705,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -2660,105 +2883,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2824,83 +2948,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - + @@ -2909,8 +2960,8 @@ - - + + @@ -2920,107 +2971,78 @@ - + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - + + + + + + + + - - - - - - - - - + + + + + + + + + - + - - + + @@ -3962,7 +3984,14 @@ - + + + + + + + + @@ -4231,58 +4260,56 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - @@ -4339,13 +4366,97 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -4397,7 +4508,7 @@ - + @@ -4442,61 +4553,34 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - + @@ -4506,7 +4590,7 @@ - + @@ -4520,25 +4604,41 @@ - - - + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -4645,77 +4745,49 @@ - - - - + + + + - - - - - - - - - - - - + + + + + + + + + - + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - + + + + + + + + @@ -4723,31 +4795,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4897,125 +4944,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5039,53 +4967,46 @@ - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - + + + + + + @@ -5115,48 +5036,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5784,8 +5663,8 @@ - - + + @@ -6123,7 +6002,7 @@ - + @@ -6184,7 +6063,7 @@ - + @@ -6293,7 +6172,7 @@ - + @@ -6377,7 +6256,7 @@ - + @@ -6521,20 +6400,35 @@ - + - + + + + + + + + + + + + + + + + @@ -6820,7 +6714,92 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6964,58 +6943,56 @@ - - - - + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - @@ -7113,7 +7090,7 @@ - + @@ -7188,9 +7165,6 @@ - - - @@ -7236,66 +7210,16 @@ + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -7740,241 +7664,80 @@ - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - + + + + + + - - - - - - + + + + + + - + @@ -7983,114 +7746,33 @@ - + - - - + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + - - - - - - + + + + + + @@ -8099,28 +7781,84 @@ - + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8128,37 +7866,257 @@ + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8166,106 +8124,280 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - + - - - - - - + + + + + + @@ -8274,29 +8406,22 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -8304,270 +8429,410 @@ - - - + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + @@ -8576,7 +8841,7 @@ - + @@ -8599,8 +8864,8 @@ - - + + @@ -8721,8 +8986,8 @@ - - + + @@ -8745,7 +9010,7 @@ - + @@ -8824,8 +9089,8 @@ - - + + @@ -8890,8 +9155,8 @@ - - + + @@ -8961,8 +9226,8 @@ - - + + @@ -9028,8 +9293,8 @@ - - + + @@ -9052,7 +9317,7 @@ - + @@ -9103,8 +9368,8 @@ - - + + @@ -9159,8 +9424,59 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9182,8 +9498,8 @@ - - + + @@ -9219,7 +9535,7 @@ - + @@ -9254,8 +9570,8 @@ - - + + @@ -9298,7 +9614,7 @@ - + @@ -9329,8 +9645,178 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9343,8 +9829,8 @@ - - + + @@ -9367,66 +9853,61 @@ - + - + - - - + + + + + - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - @@ -9434,15 +9915,63 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9451,10 +9980,183 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -9470,8 +10172,8 @@ - - + + @@ -9494,9 +10196,9 @@ - + - + @@ -9507,78 +10209,119 @@ - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9588,10 +10331,11 @@ + - + @@ -9603,8 +10347,8 @@ - - + + @@ -9648,7 +10392,7 @@ - + @@ -9734,7 +10478,7 @@ - + @@ -9763,7 +10507,7 @@ - + @@ -9773,7 +10517,7 @@ - + @@ -9789,7 +10533,7 @@ - + @@ -9810,7 +10554,7 @@ - + @@ -9839,7 +10583,7 @@ - + @@ -9877,9 +10621,148 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -9902,8 +10785,8 @@ - - + + @@ -10001,7 +10884,7 @@ - + @@ -10133,170 +11016,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10544,7 +11263,7 @@ - + @@ -10610,7 +11329,7 @@ - + @@ -10920,7 +11639,7 @@ - + @@ -11000,36 +11719,53 @@ - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11039,13 +11775,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + @@ -11069,37 +11832,54 @@ - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11109,13 +11889,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + @@ -11139,37 +11946,54 @@ - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11179,13 +12003,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + @@ -11209,37 +12060,54 @@ - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11249,13 +12117,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + @@ -11268,5 +12163,349 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps index 389ba55f..aa8f2d9b 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps @@ -3,6 +3,7 @@ + @@ -35,12 +36,19 @@ + + + + + + + @@ -60,6 +68,7 @@ + @@ -72,6 +81,10 @@ + + + + @@ -128,6 +141,7 @@ + @@ -172,6 +186,10 @@ + + + + @@ -543,6 +561,118 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -629,47 +759,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + @@ -680,6 +773,90 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -745,5 +922,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps index bfa6866f..597ff073 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps @@ -229,14 +229,14 @@ - + - - + + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index f5b3d95e..acd8ead0 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -2448,17 +2448,6 @@ - - - - - - - - - - - diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index 0be023b8..70eb1953 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -152,7 +152,7 @@ - + @@ -562,7 +562,7 @@ - + @@ -574,7 +574,7 @@ - + @@ -720,12 +720,6 @@ - - - - - - diff --git a/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps b/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps index 2a4e7acc..9f98ecf0 100644 --- a/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps @@ -356,13 +356,13 @@ - + - + @@ -408,9 +408,9 @@ - + - + @@ -458,24 +458,18 @@ - + - - - - + - - - @@ -534,13 +528,13 @@ - + - + @@ -555,19 +549,19 @@ - + - + - + - - + + @@ -588,9 +582,9 @@ - + - + @@ -637,18 +631,12 @@ - - - - + - - - - + @@ -1894,7 +1882,6 @@ - @@ -2008,9 +1995,9 @@ - + - + @@ -2034,9 +2021,9 @@ - + - + @@ -2055,19 +2042,19 @@ - + - + - + - - + + @@ -2135,18 +2122,12 @@ - - - - + - - - - + @@ -2217,13 +2198,13 @@ - + - + @@ -2237,9 +2218,9 @@ - + - + @@ -2260,28 +2241,28 @@ - + - + - + - + - + - - + + @@ -2300,15 +2281,9 @@ - + - - - - - - - + @@ -2317,10 +2292,7 @@ - - - - + @@ -2353,9 +2325,9 @@ - + - + @@ -2391,7 +2363,7 @@ - + @@ -2445,9 +2417,9 @@ - + - + @@ -2464,9 +2436,36 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -2478,13 +2477,13 @@ - + - + - - + + @@ -2538,10 +2537,7 @@ - - - - + @@ -2582,15 +2578,9 @@ - + - - - - - - - + @@ -2602,32 +2592,23 @@ - - - - + - + - - - - + - - - @@ -2661,9 +2642,9 @@ - + - + @@ -2675,7 +2656,7 @@ - + @@ -2686,18 +2667,38 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2718,15 +2719,9 @@ - + - - - - - - - + @@ -2735,21 +2730,15 @@ - + - - - - - - - + diff --git a/languages/jetbrains.mps.logic/languageModels/behavior.mps b/languages/jetbrains.mps.logic/languageModels/behavior.mps index 5669dbe1..5f998e8c 100644 --- a/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -130,6 +130,22 @@ + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/constraints.mps b/languages/jetbrains.mps.logic/languageModels/constraints.mps index 2a055053..8ca17828 100644 --- a/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -651,8 +651,8 @@ - - + +