From 88a25fe413b58ae8268c800e8b28d3fd7addde0a Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 15 Jul 2015 15:37:42 +0200
Subject: [PATCH] Make this more readable
---
.../scala/leon/frontends/scalac/ASTExtractors.scala | 13 +++++++------
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
index a69f2712a..919118dd9 100644
--- a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
+++ b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
@@ -206,15 +206,16 @@ trait ASTExtractors {
Apply(
TypeApply(
ExSelected("leon", "lang", "package", "Passes"),
- _ :: _ :: Nil
- ),
- ExpressionExtractors.ExTuple(_, Seq(in,out)) :: Nil
+ List(_, _)
+ ),
+ List(ExpressionExtractors.ExTuple(_, Seq(in,out)))
),
ExNamed("passes")
),
- (Function(
- (_ @ ValDef(_, _, _, EmptyTree)) :: Nil,
- ExpressionExtractors.ExPatternMatching(_,tests))) :: Nil
+ List(Function(
+ List(ValDef(_, _, _, EmptyTree)),
+ ExpressionExtractors.ExPatternMatching(_,tests)
+ ))
)
=> Some((in, out, tests))
case _ => None
--
GitLab