From 9b8946ce6703b1d5eea67accece4283a458e2680 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 15 Nov 2021 12:59:42 +0100 Subject: [PATCH] Support recovering of children features in typechecking term table --- .../generator/template/main@generator.mps | 339 ++++++++++++++++-- 1 file changed, 309 insertions(+), 30 deletions(-) diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps index 985932e6..6963d1e5 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps @@ -90,9 +90,6 @@ - - - @@ -497,6 +494,11 @@ + + + + + @@ -775,15 +777,15 @@ - - - - + + + + - - + + @@ -792,35 +794,105 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + @@ -1558,6 +1630,41 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1574,6 +1681,75 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1755,6 +1931,109 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +