From 745671b86f1b3696a0a067f492e912c18e20f548 Mon Sep 17 00:00:00 2001 From: Etienne Kneuss <ekneuss@gmail.com> Date: Mon, 29 Oct 2012 18:49:18 +0100 Subject: [PATCH] uhuhuh --- src/main/scala/leon/Main.scala | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala index 98d9778b8..6b52c81a6 100644 --- a/src/main/scala/leon/Main.scala +++ b/src/main/scala/leon/Main.scala @@ -117,6 +117,9 @@ 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 @@ -128,22 +131,16 @@ 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