From 9568eccc21c27f84ae40ae69371294d98da91aac Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 23 Oct 2012 20:14:35 +0200
Subject: [PATCH] mini fix
---
src/main/scala/leon/purescala/Trees.scala | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 808ab52e0..1f18b52c1 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -85,7 +85,11 @@ object Trees {
}
}
- case class TupleSelect(tuple: Expr, index: Int) extends Expr
+
+ // This must be 1-indexed !
+ case class TupleSelect(tuple: Expr, index: Int) extends Expr {
+ assert(index >= 1)
+ }
case class Waypoint(i: Int, expr: Expr) extends Expr
@@ -1078,8 +1082,8 @@ object Trees {
None
}
}
- case letTuple @ LetTuple(ids, expr, body) if ids.size == 1 =>
- simplerLet(Let(ids.head, TupleSelect(expr, 0).setType(ids.head.getType), body))
+ //case letTuple @ LetTuple(ids, expr, body) if ids.size == 1 =>
+ // simplerLet(Let(ids.head, TupleSelect(expr, 1).setType(ids.head.getType), body))
case letTuple @ LetTuple(ids, Tuple(exprs), body) =>
--
GitLab