From d3186851db33c19c86ee59999aa6c3f0094896e4 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Thu, 29 Aug 2019 15:38:18 +0300 Subject: [PATCH] Instantiate type variables in extended 'findSubtypePaths' rule --- .../jetbrains.mps.baseLanguageExt.types.mps | 1446 +++++++++++++---- .../typechecking.samples.baseLanguage.msd | 1 + 2 files changed, 1092 insertions(+), 355 deletions(-) diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 85417890..5a97612f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -2747,300 +2747,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3055,6 +2761,920 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7040,7 +7660,6 @@ - @@ -7786,6 +8405,7 @@ + @@ -14117,6 +14737,9 @@ + + + @@ -14128,9 +14751,6 @@ - - - @@ -14182,7 +14802,7 @@ - + @@ -15296,6 +15916,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -15812,6 +16456,9 @@ + + + @@ -15832,9 +16479,6 @@ - - - @@ -15869,30 +16513,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - @@ -16719,6 +17339,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -17417,33 +18064,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -24111,6 +24731,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -24298,11 +24938,11 @@ - + @@ -24509,6 +25149,58 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -24664,6 +25356,7 @@ + @@ -25151,6 +25844,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -25494,7 +26230,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd index 8429b889..72469a79 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -14,6 +14,7 @@ c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.coderules.typechecking.test) 0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)