From c36679bcc6763fc389696ed0af4385ea8916c024 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 24 Feb 2021 12:08:05 +0100 Subject: [PATCH] Fix logic inconsistent type error Naive check won't suffice to ensure multilogical are used properly. Need more sophisticated type check. --- .../models/jetbrains.mps.logicExt.types.mps | 110 ++++++++++++------ 1 file changed, 74 insertions(+), 36 deletions(-) diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps index 63985665..16a12e6e 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps @@ -609,49 +609,87 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + - - + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + +