From 14130be21ffd26e656be1fa35d331f1b3a38aaa5 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Thu, 30 Jul 2020 16:23:26 +0300 Subject: [PATCH] Relax another test in bl typechecking (Ignore error types) It's unclear for now how exactly this case should be handled --- ...ps.baseLanguageExt.test.generics@tests.mps | 40 +++++++++++ .../models/helloWorld@tests.mps | 69 +++++++++++++++---- 2 files changed, 97 insertions(+), 12 deletions(-) diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps index 79a0d9d0..e45e9115 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps @@ -460,6 +460,46 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps index 7d0294a6..ddba3315 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps @@ -331,25 +331,70 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + - - +