From eb03d7d218b353a22260d2cd3bb52be25d147313 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 24 Dec 2020 17:49:18 +0100 Subject: [PATCH] Include languages imported to all imported models of the model that contains node to check Some language imports necessary for correct typechecking are obscure. Example may be a closure type, which requires the type of the operand (receiver) of the method it serves a parameter to. That, in turn, may require some type defined in another root and perhaps some other model. --- .../jetbrains.mps.lang.coderules.aspect.mps | 116 ++++++++++++++++-- 1 file changed, 109 insertions(+), 7 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps index 41da12ab..c0525184 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps @@ -19,7 +19,7 @@ - + @@ -1106,19 +1106,121 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +