From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Thu, 8 Jun 2017 07:49:05 +0000 (+0200)
Subject: remove empty lines
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=cf58d5cdc1925e6f1f2186e13ab6d2f6bbfacfc2;p=cubicaltt.git

remove empty lines
---

diff --git a/Main.hs b/Main.hs
index fba67a9..8fe53ce 100644
--- a/Main.hs
+++ b/Main.hs
@@ -98,7 +98,6 @@ initLoop flags f hist = do
       putStrLn $ "Resolver failed: " ++ err
       runInputT (settings []) (putHistory hist >> loop flags f [] TC.verboseEnv)
     Right (adefs,names) -> do
-
       (merr,tenv) <- TC.runDeclss TC.verboseEnv adefs
       case merr of
         Just err -> putStrLn $ "Type checking failed: " ++ shrink err
@@ -151,7 +150,6 @@ loop flags f names tenv = do
               Right _  -> do
                 start <- liftIO getCurrentTime
                 let e = mod $ E.eval (TC.env tenv) body
-
                 -- Let's not crash if the evaluation raises an error:
                 liftIO $ catch (putStrLn (msg ++ shrink (show e)))
                                -- (writeFile "examples/nunivalence3.ctt" (show e))