From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Thu, 7 Jan 2016 17:03:01 +0000 (+0100)
Subject: dont write to a file
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=22fe7604c261f7cd3200dc01533129d33e1caf97;p=cubicaltt.git

dont write to a file
---

diff --git a/Main.hs b/Main.hs
index 166802b..56536cc 100644
--- a/Main.hs
+++ b/Main.hs
@@ -142,6 +142,7 @@ loop flags f names tenv = do
 
                 -- Let's not crash if the evaluation raises an error:
                 liftIO $ catch (putStrLn (msg ++ shrink (show e)))
+                               -- (writeFile "examples/nunivalence3.ctt" (show e))
                                (\e -> putStrLn ("Exception: " ++
                                                 show (e :: SomeException)))
                 stop <- liftIO getCurrentTime