From f75f87f13f409d0b51b79f613a7a55959248dd56 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Mon, 4 May 2020 15:13:02 +0300 Subject: [PATCH] Fix TypecheckingTestHelper to handle case of error types appearing with a reason Error types can appear in cases similar to those of "no type" because of addittion of "error()" term to typesystem. --- ...ins.mps.coderules.typechecking.service.mps | 166 ++++++++++++------ 1 file changed, 111 insertions(+), 55 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index ab3ba5e7..5271e288 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -1529,44 +1529,13 @@ - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -1720,21 +1689,43 @@ - - - - - + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1764,11 +1755,16 @@ - - - + + + + + + + + + - @@ -1915,6 +1911,66 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +