From 22fe7604c261f7cd3200dc01533129d33e1caf97 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Thu, 7 Jan 2016 18:03:01 +0100 Subject: [PATCH] dont write to a file --- Main.hs | 1 + 1 file changed, 1 insertion(+) 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 -- 2.34.1