From b42d7553c8c9a4eac47a842249af2504c3860b09 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 6 Feb 2019 12:59:38 +0100 Subject: [PATCH] Temporarily comment out an instance of let clause that produces different result in local inference. --- .../models/samples.lambdacalc.demo.mps | 98 ++++++++++--------- 1 file changed, 51 insertions(+), 47 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 74000a44..a0f23dad 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 @@ -2198,57 +2198,61 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + +