From 323cfdf080bd419e07f4a0eac9828566847d8c00 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 15 Nov 2017 11:46:44 +0100 Subject: [PATCH] Introduce environment variable to control whether to report garbage constraints. Fix NPE on missing rules for a stage during rules application. --- .../models/service.mps | 62 +++- ...brains.mps.lang.typesystem2.evaluation.mps | 290 ++++++++++-------- 2 files changed, 217 insertions(+), 135 deletions(-) diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps index 5c24f06e..23136e0c 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps @@ -3851,6 +3851,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3863,19 +3907,11 @@ - - - - - - - - - - - - - + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps index 37638a47..0e9cdce8 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps @@ -693,6 +693,9 @@ + + + @@ -708,6 +711,10 @@ + + + + @@ -737,6 +744,19 @@ + + + + + + + + + + + + + @@ -1230,122 +1250,129 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + - @@ -1451,6 +1478,11 @@ + + + + + @@ -3337,43 +3369,57 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + - - - - + + - - - - - - - +