From bcc2e06e57b171c29f63539a4de2e67ef324c6c3 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 27 Aug 2015 12:01:59 +0200
Subject: [PATCH] More debug strings
---
src/main/scala/leon/purescala/Expressions.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/scala/leon/purescala/Expressions.scala b/src/main/scala/leon/purescala/Expressions.scala
index ff999d780..f25810f3c 100644
--- a/src/main/scala/leon/purescala/Expressions.scala
+++ b/src/main/scala/leon/purescala/Expressions.scala
@@ -36,6 +36,7 @@ object Expressions {
if (real zip formal forall { case (real, formal) => isSubtypeOf(real.getType, formal.getType)} ) {
result.unveilUntyped
} else {
+ //println(s"Failed to type as $result")
//println(real map { r => s"$r: ${r.getType}"} mkString ", " )
//println(formal map { r => s"$r: ${r.getType}" } mkString ", " )
Untyped
--
GitLab