Fix up the polymorphic case for lambda; it probably still isn't quite correct.

2 files changed, 3 insertions, 3 deletions

diff --git a/Source/Core/AbsyQuant.ssc b/Source/Core/AbsyQuant.ssc
index af1362c9..401492a3 100644
--- a/Source/Core/AbsyQuant.ssc
+++ b/Source/Core/AbsyQuant.ssc
@@ -811,8 +811,6 @@ namespace Microsoft.Boogie
       }

       this.Type = new MapType(this.tok, this.TypeParameters, argTypes, Body.Type);

 

-      this.Type = this.ShallowType;

-

       // Check that type parameters occur in the types of the

       // dummies, or otherwise in the triggers. This can only be

       // done after typechecking

diff --git a/Source/Core/LambdaHelper.ssc b/Source/Core/LambdaHelper.ssc
index 2489b57d..412304b7 100644
--- a/Source/Core/LambdaHelper.ssc
+++ b/Source/Core/LambdaHelper.ssc
@@ -101,7 +101,9 @@ namespace Microsoft.Boogie {
           lambdaFunctions.Add(fn);

           lambdaAxioms.Add(body);

 

-          Expr call = new NAryExpr(tok, fcall, callArgs);

+          NAryExpr call = new NAryExpr(tok, fcall, callArgs);

+          call.Type = res.TypedIdent.Type;

+          call.TypeParameters = SimpleTypeParamInstantiation.EMPTY;

 

           return call;

         }