From 7f0884f5ea46bbc2e7ab22c19184c8caaa60f087 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 12 Dec 2012 15:12:29 +0100
Subject: [PATCH] cleaner unapply for Tuple
---
src/main/scala/leon/purescala/TypeTrees.scala | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/src/main/scala/leon/purescala/TypeTrees.scala b/src/main/scala/leon/purescala/TypeTrees.scala
index 91d597535..7f3f20c29 100644
--- a/src/main/scala/leon/purescala/TypeTrees.scala
+++ b/src/main/scala/leon/purescala/TypeTrees.scala
@@ -185,10 +185,12 @@ object TypeTrees {
def apply(bases: Seq[TypeTree]): TupleType = {
new TupleType(bases.map(bestRealType(_)))
}
- def unapply(expr: TupleType): Option[Seq[TypeTree]] = expr match {
- case (t: TupleType) => Some(t.bases)
- case _ => None
- }
+ //TODO: figure out which of the two unapply is better
+ //def unapply(t: TypeTree): Option[Seq[TypeTree]] = t match {
+ // case (tt: TupleType) => Some(tt.bases)
+ // case _ => None
+ //}
+ def unapply(tt: TupleType): Option[Seq[TypeTree]] = Some(tt.bases)
}
case class ListType(base: TypeTree) extends TypeTree
--
GitLab