From cf855fc19b032c4abea0a8de13068d46fed02343 Mon Sep 17 00:00:00 2001 From: "grigorii.kirgizov" Date: Fri, 11 Jan 2019 13:56:50 +0300 Subject: [PATCH] lc: add test case for correct handling of instantiation scopes in forall. fails now. --- .../models/samples.lambdacalc.demo.mps | 177 ++++++++++++++++++ 1 file changed, 177 insertions(+) diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps index 60695fd4..f045b8d4 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps @@ -88,6 +88,13 @@ + + + + + + + @@ -1735,6 +1742,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3081,6 +3126,99 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3587,5 +3725,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +