From 421cd146691c087f0a9c81d7de6379bf24d65055 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 15 Jul 2015 15:38:14 +0200
Subject: [PATCH] All types are supported for pattern matching
---
src/main/scala/leon/purescala/Constructors.scala | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/src/main/scala/leon/purescala/Constructors.scala b/src/main/scala/leon/purescala/Constructors.scala
index b69554252..d3dc099a4 100644
--- a/src/main/scala/leon/purescala/Constructors.scala
+++ b/src/main/scala/leon/purescala/Constructors.scala
@@ -138,11 +138,8 @@ object Constructors {
case _ => true
})
- case _: TupleType | Int32Type | IntegerType | BooleanType | UnitType | _: AbstractClassType =>
+ case _ =>
cases
-
- case t =>
- scala.sys.error("Constructing match expression on non-supported type: "+t)
}
resType match {
--
GitLab