From a8cb00c8b52ebb7aae8720d2f0b615ef50d858b8 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Thu, 5 Sep 2019 16:16:41 +0300 Subject: [PATCH] Handle recursive case of LUB: produce wildcard type param --- .../jetbrains.mps.baseLanguageExt.types.mps | 1074 +++++++++-------- 1 file changed, 594 insertions(+), 480 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 b6291374..7804128b 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 @@ -15899,6 +15899,24 @@ + + + + + + + + + + + + + + + + + + @@ -16249,7 +16267,7 @@ - + @@ -16289,54 +16307,16 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + @@ -16424,6 +16404,47 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16431,6 +16452,12 @@ + + + + + + @@ -16485,6 +16512,24 @@ + + + + + + + + + + + + + + + + + + @@ -16531,174 +16576,278 @@ - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -36758,7 +36907,7 @@ - + @@ -36773,6 +36922,7 @@ + @@ -36960,167 +37110,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -37168,6 +37157,203 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -37852,6 +38038,20 @@ + + + + + + + + + + + + + + @@ -37872,20 +38072,6 @@ - - - - - - - - - - - - - - @@ -37965,6 +38151,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -37994,34 +38208,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -38581,29 +38767,11 @@ - - - - - - - - - - - - - - - - - - - - - + + + @@ -38653,29 +38821,11 @@ - - - - - - - - - - - - - - - - - - - - - + + + @@ -38736,29 +38886,11 @@ - - - - - - - - - - - - - - - - - - - - - + + + @@ -39159,29 +39291,11 @@ - - - - - - - - - - - - - - - - - - - - - + + +