From 9ff61214da066e4650d75c7cb151bca7e99376a5 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 29 Oct 2012 18:59:23 +0100
Subject: [PATCH] tant pis
---
src/main/scala/leon/Main.scala | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 6b52c81a6..98d9778b8 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -117,9 +117,6 @@ object Main {
LeonContext(settings = settings, reporter = reporter, files = files, options = leonOptions)
}
- // not sure we actually want this, but it is sexy
- implicit def unitToNoopPhase[T](u: Unit): NoopPhase[T] = NoopPhase[T]()
-
def computePipeline(settings: Settings): Pipeline[List[String], Any] = {
import purescala.Definitions.Program
@@ -131,16 +128,22 @@ object Main {
EpsilonElimination andThen
ImperativeCodeElimination andThen
FunctionClosure
+ } else {
+ NoopPhase()
}
val pipeSynthesis: Pipeline[Program, Program]=
if (settings.synthesis) {
synthesis.SynthesisPhase
+ } else {
+ NoopPhase()
}
val pipeVerify: Pipeline[Program, Any] =
if (settings.verify) {
verification.AnalysisPhase
+ } else {
+ NoopPhase()
}
pipeBegin andThen
--
GitLab