From 1fdb30469184017b9c284dd8e50cf57b1de5f240 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 25 May 2012 15:01:57 +0200
Subject: [PATCH] Type of lets should be based on their body, not their id
---
src/main/scala/leon/purescala/Trees.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 361cbf4d5..612bcb9b0 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -45,14 +45,14 @@ object Trees {
/* Like vals */
case class Let(binder: Identifier, value: Expr, body: Expr) extends Expr {
binder.markAsLetBinder
- val et = binder.getType
+ val et = body.getType
if(et != Untyped)
setType(et)
}
//same as let, buf for mutable variable declaration
case class LetVar(binder: Identifier, value: Expr, body: Expr) extends Expr {
binder.markAsLetBinder
- val et = binder.getType
+ val et = body.getType
if(et != Untyped)
setType(et)
}
--
GitLab