From e9bb6d7518b70919606136a742840ad73517d418 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Fri, 11 Jan 2013 00:52:11 +0100
Subject: [PATCH] Clarified assertion error.
---
src/main/scala/leon/purescala/Trees.scala | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 98888aa5e..a2e21282a 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -37,7 +37,9 @@ object Trees {
case class LetTuple(binders: Seq[Identifier], value: Expr, body: Expr) extends Expr {
binders.foreach(_.markAsLetBinder)
- assert(value.getType.isInstanceOf[TupleType])
+ assert(value.getType.isInstanceOf[TupleType],
+ "The definition value in LetTuple must be of some tuple type; yet we got [%s]. In expr: \n%s".format(value.getType, this))
+
val et = body.getType
if(et != Untyped)
setType(et)
--
GitLab