From b2c026d74ae9cba28784482a5d5c0e84f5dd0e85 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 17 Dec 2020 12:40:04 +0100 Subject: [PATCH] Fix closures types to populate functional classifier's parameters On looking up the default functional classifier corresponding to a function type, the classifier's type parameters are to be appropriately populated from the function type. --- ...ins.mps.baseLanguage.closuresExt.types.mps | 201 ++++++++++++++++++ 1 file changed, 201 insertions(+) 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 ee2589e5..348a8bdf 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 @@ -250,9 +250,19 @@ + + + + + + + + + + @@ -15195,6 +15205,22 @@ + + + + + + + + + + + + + + + + @@ -15208,6 +15234,9 @@ + + + @@ -15227,6 +15256,12 @@ + + + + + + @@ -15263,6 +15298,10 @@ + + + + @@ -15275,6 +15314,14 @@ + + + + + + + + @@ -15286,6 +15333,160 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +