From 450f2e5989791982b8a111577d7fd39d412464e4 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 23 Apr 2021 12:35:02 +0200 Subject: [PATCH] Fix coerce to pattern with antiquotations. A node from a pattern with antiquotations is treated as a "hollow" type with only the form defined, and all parameters being capturing variables. This is a workaround for certain kinds of coerce queries that define unsound pattern nodes. --- ...ains.mps.coderules.typechecking.plugin.mps | 382 +++++++++++++++++- 1 file changed, 378 insertions(+), 4 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index d586f9aa..a2f419f8 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -61,6 +61,7 @@ + @@ -352,8 +353,18 @@ + - + + + + + + + + + + @@ -2709,9 +2720,7 @@ - - - + @@ -2722,6 +2731,371 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +