From 4fd280f06eef4979672ced35179780686bda16d4 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 2 May 2023 18:05:50 +0200 Subject: [PATCH] Fix closure type inference: infer result type Proceed with the closure result type as with other inferrable types: declare as inference var and resolve at the end of processing. --- ...ins.mps.baseLanguage.closuresExt.types.mps | 52 +++++++++++++++++-- 1 file changed, 48 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 6f3a78df..bbf07193 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 @@ -741,14 +741,31 @@ - - - + + + + - + + + + + + + + + + + + + + + + + @@ -1184,6 +1201,23 @@ + + + + + + + + + + + + + + + + + @@ -2202,6 +2236,16 @@ + + + + + + + + + +