From d73b51ee22b4c4f77950574c4bde2717c870e077 Mon Sep 17 00:00:00 2001 From: Hans-Peter Deifel <hpd@hpdeifel.de> Date: Mon, 20 Mar 2017 15:29:02 +0100 Subject: [PATCH] Correctly handle --dump-json option of 'search' --- src/main/Main.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/Main.hs b/src/main/Main.hs index 7e0956e..b24762b 100644 --- a/src/main/Main.hs +++ b/src/main/Main.hs @@ -86,12 +86,12 @@ main = do json <- traverse BS.readFile (sseGraphJsonFile opts) case JSON.parseFile <$> json of -- Don't do any comparision between graphs - Nothing -> void (driver (dumpJSON opts) (eliminateEpsilons opts) (mockupExecutable opts)) + Nothing -> void (driver (eliminateEpsilons opts) (dumpJSON opts) (mockupExecutable opts)) Just (Left e) -> do hPutStrLn stderr $ "Could not parse sse graph json: " <> e exitFailure Just (Right graph1) -> do - graph2 <- driver (dumpJSON opts) (eliminateEpsilons opts) (mockupExecutable opts) + graph2 <- driver (eliminateEpsilons opts) (dumpJSON opts) (mockupExecutable opts) if (not (isDeterministic (graph1^._graph)) || not (isDeterministic (graph2^._graph))) then do hPutStrLn stderr $ "One of the graphs is not deterministic" exitFailure -- GitLab