From e1ac18802306160f37f94e8fe97215eebe02087f Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Tue, 10 Mar 2020 19:50:44 +0300 Subject: [PATCH] Produce proper type erasure for raw classifiers: type variables are erased to their bounds --- .../jetbrains.mps.baseLanguageExt.types.mps | 177 +++++++++++++----- 1 file changed, 128 insertions(+), 49 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 8b48e07a..c959f994 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 @@ -35250,80 +35250,159 @@ - - - - - - - + + + + + + + - - + + + + + - + - + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + - - - - - - - - - - - + + + - - - - - - - + +