From 074dc8c8403c085a355141f244265e5fb1d8635f Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 30 Sep 2024 12:59:06 +0200 Subject: [PATCH] Optimize typechecking of IInferredExpression --- .../jetbrains.mps.baseLanguageExt.types.mps | 75 +++++++++++-------- 1 file changed, 45 insertions(+), 30 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 52f3bc2c..d9cb0103 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 @@ -59510,45 +59510,60 @@ - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + +