From fc7d97f0153644f6fc82e721123d7069931f8816 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 9 May 2021 09:09:24 +0200 Subject: [PATCH] Fix closures types: observe function type's inherent variance --- ...ins.mps.baseLanguage.closuresExt.types.mps | 91 ++++++++++++++++++- 1 file changed, 87 insertions(+), 4 deletions(-) diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps index e464d27d..67f47c75 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps @@ -6239,6 +6239,21 @@ + + + + + + + + + + + + + + + @@ -6309,6 +6324,74 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6318,14 +6401,14 @@ - - + + - - + +