From 13da45a973497449515e08e414eddcf5715e512c Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 23 Nov 2022 13:52:42 +0100 Subject: [PATCH] Fix subtle issues with type inference, introduce more As type variables are made to be resolved later, some errors may "escape" their respective scope, such as classifier type definition. This needs to be addressed separately. --- .../jetbrains.mps.baseLanguageExt.types.mps | 240 ++++++++++++++++-- 1 file changed, 212 insertions(+), 28 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 623ce80d..6075687e 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 @@ -31152,6 +31152,73 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -31426,24 +31493,61 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - + - - + + @@ -39738,13 +39842,19 @@ - + + + + + + + @@ -45501,22 +45611,6 @@ - - - - - - - - - - - - - - - - @@ -54350,6 +54444,96 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +