From d407eb2676f7f9c0d97daba2b09095b9b15ed64a Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 29 Apr 2021 14:49:21 +0200 Subject: [PATCH] Fix sequence types: support covariance with upper bound type --- ...brains.mps.baseLanguage.sequence.types.mps | 106 +++++++++++++++++- 1 file changed, 103 insertions(+), 3 deletions(-) diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps index 4e6f31d0..1642cd51 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps @@ -374,9 +374,17 @@ - - - + + + + + + + + + + + @@ -434,6 +442,98 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +