From 6043f2abce3ce1ba92c7e4879887c4033d3ca168 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Tue, 4 Feb 2014 17:16:21 +0100
Subject: [PATCH] Instanciate Lets correctly
---
src/main/scala/leon/purescala/TypeTreeOps.scala | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/main/scala/leon/purescala/TypeTreeOps.scala b/src/main/scala/leon/purescala/TypeTreeOps.scala
index 41d9ab08e..75d9e9d8f 100644
--- a/src/main/scala/leon/purescala/TypeTreeOps.scala
+++ b/src/main/scala/leon/purescala/TypeTreeOps.scala
@@ -133,6 +133,10 @@ object TypeTreeOps {
case cc @ CaseClassInstanceOf(ct, e) =>
CaseClassInstanceOf(tpeSub(ct).asInstanceOf[CaseClassType], srec(e)).copiedFrom(cc)
+ case l @ Let(id, value, body) =>
+ val newId = freshId(id, tpeSub(id.getType))
+ Let(newId, srec(value), rec(idsMap + (id -> newId))(body)).copiedFrom(l)
+
case m @ MatchExpr(e, cases) =>
val newTpe = tpeSub(e.getType)
--
GitLab