From 2b10d787fcb8b95b4c2c0514fb2e3dd13a0ca065 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 12 Dec 2012 15:06:43 +0100
Subject: [PATCH] bestRealType only used in TupleType constructor
---
src/main/scala/leon/plugin/CodeExtraction.scala | 2 +-
src/main/scala/leon/purescala/Trees.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/plugin/CodeExtraction.scala b/src/main/scala/leon/plugin/CodeExtraction.scala
index f9a5e69e0..0c42d24f7 100644
--- a/src/main/scala/leon/plugin/CodeExtraction.scala
+++ b/src/main/scala/leon/plugin/CodeExtraction.scala
@@ -533,7 +533,7 @@ trait CodeExtraction extends Extractors {
case None => nextExpr match {
case ExTuple(tpes, exprs) => {
val tupleExprs = exprs.map(e => rec(e))
- val tupleType = TupleType(tupleExprs.map(expr => bestRealType(expr.getType)))
+ val tupleType = TupleType(tupleExprs.map(expr => expr.getType))
Tuple(tupleExprs).setType(tupleType)
}
case ExErrorExpression(str, tpe) =>
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index c2f47b7f9..d69931e75 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -51,7 +51,7 @@ object Trees {
case class IfExpr(cond: Expr, then: Expr, elze: Expr) extends Expr
case class Tuple(exprs: Seq[Expr]) extends Expr {
- val subTpes = exprs.map(_.getType).map(bestRealType)
+ val subTpes = exprs.map(_.getType)
if(subTpes.forall(_ != Untyped)) {
setType(TupleType(subTpes))
}
--
GitLab