From 561175c53ada76ec2bcf69ffcacefc2010d13c2d Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 2 Aug 2012 08:31:09 +1000 Subject: Moved proof trace output formatting function to Parse.hs --- Parse.hs | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'Parse.hs') 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) -- cgit