From 87cdde530907746d5f7a138d72bcded53d2cbf8c Mon Sep 17 00:00:00 2001 From: "grigorii.kirgizov" Date: Wed, 16 Jan 2019 18:16:11 +0300 Subject: [PATCH] lc: 2 fixes for previous commit: walkaround in rules with 'deep' pattern-matching in heads; produce empty typeConstraints on user annos (in types) --- .../samples.lambdacalc/models/types.mps | 154 ++++++++++++------ 1 file changed, 107 insertions(+), 47 deletions(-) diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index d306d15a..f1902de5 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -1013,6 +1013,25 @@ + + + + + + + + + + + + + + + + + + + @@ -1103,21 +1122,6 @@ - - - - - - - - - - - - - - - @@ -1139,6 +1143,25 @@ + + + + + + + + + + + + + + + + + + + @@ -1476,6 +1499,9 @@ + + + @@ -6622,36 +6648,40 @@ - - - - - + + + + + + + + + + + + - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + @@ -7111,6 +7141,9 @@ + + + @@ -7183,8 +7216,8 @@ - - + + @@ -7320,6 +7353,16 @@ + + + + + + + + + + @@ -10988,6 +11031,9 @@ + + + @@ -11041,8 +11087,8 @@ - - + + @@ -11077,6 +11123,20 @@ + + + + + + + + + + + + + +