From 8da1f51434489eb932620ec60e9b3e4f535d2f72 Mon Sep 17 00:00:00 2001 From: "grigorii.kirgizov" Date: Thu, 27 Dec 2018 19:54:38 +0300 Subject: [PATCH] lc: move some examples, add error annotations in DemoScopes and test case for annotations --- .../models/samples.lambdacalc.demo.mps | 744 ++++++++---------- 1 file changed, 341 insertions(+), 403 deletions(-) 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 cd895350..340d115d 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 @@ -720,6 +720,256 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1393,6 +1643,38 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1542,6 +1824,9 @@ + + + @@ -1581,6 +1866,9 @@ + + + @@ -1659,103 +1947,58 @@ + + + - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - + + + + - - + + - + + + + - - - - - - - - - - - - - - - - + + + + - - - - - - - - - + + - - - - - - - - - - - - - - + + @@ -1825,329 +2068,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2220,6 +2140,9 @@ + + + @@ -2419,6 +2342,9 @@ + + + @@ -2555,6 +2481,9 @@ + + + @@ -2694,6 +2623,9 @@ + + + @@ -2942,6 +2874,9 @@ + + + @@ -3363,6 +3298,9 @@ + + +