From 561175c53ada76ec2bcf69ffcacefc2010d13c2d Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 2 Aug 2012 08:31:09 +1000
Subject: Moved proof trace output formatting function to Parse.hs

---
 Parse.hs          | 10 +++++++++-
 WriteProofMain.hs |  6 ------
 2 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/Parse.hs b/Parse.hs
index 484342f..676f2e7 100644
--- a/Parse.hs
+++ b/Parse.hs
@@ -6,7 +6,8 @@ module Parse (
 	separateBy,
 	isComment,
 	isNumber,
-	isName
+	isName,
+	output
 	) where
 
 import Control.Monad( liftM )
@@ -54,3 +55,10 @@ isNumber n = all (Char.isNumber) n
 
 isName :: String -> Bool
 isName s = all ((==) '"') [head s, last s]
+
+
+output :: [String] -> IO ()
+output [] = return ()
+output list = do
+	putStrLn (head list)
+	output (tail list)
diff --git a/WriteProofMain.hs b/WriteProofMain.hs
index 745ad21..e480716 100644
--- a/WriteProofMain.hs
+++ b/WriteProofMain.hs
@@ -5,12 +5,6 @@ import ProofGraph
 import WriteProof
 
 
-output :: [String] -> IO ()
-output [] = return ()
-output list = do
-	putStrLn (head list)
-	output (tail list)
-
 
 main = do
     args <- getArgs
-- 
cgit