From aca2b3b8d94d16cef244f6ce39611b9b6d58cd74 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Tue, 21 Apr 2020 16:53:05 +0300 Subject: [PATCH] BL typesystem: forbid conversion to/from void type There's special constraint 'isCompatbile' to handle void. Conversions with void can arise from closure types returning nothing. --- .../jetbrains.mps.baseLanguageExt.types.mps | 218 ++++++++++++++++-- 1 file changed, 203 insertions(+), 15 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 0ed3257b..f6808f80 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 @@ -15192,8 +15192,48 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15203,20 +15243,20 @@ - - - - - - - + + - + + + + + + @@ -15235,13 +15275,161 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +