Commit 21d5a0d7 authored by bbr's avatar bbr
Browse files

a small error in show for lists

parent 2cc0e50a
......@@ -76,6 +76,8 @@ instance Show a => Show (List a) where
showsPrec = showsPrecList (showsPrec 0) (showsPrec 0)
showsPrecList :: (a -> ShowS) -> ([a] -> ShowS) -> Int -> List a -> ShowS
showsPrecList recursiveCall listCall _ (ListOr r _) =
showString ('_':show (deref r))
showsPrecList recursiveCall listCall _ xs
| isFreeList xs = showChar '(' . showFreel xs
| otherwise = listCall (toHaskellList xs)
......
......@@ -252,7 +252,7 @@ eval act = do
printOrc
state <- get
let (orc, needed) = pop (oracle state)
when (orc==[0]) (liftIO (putStrLn "empty!"))
--when (orc==[0]) (liftIO (putStrLn "empty!"))
put (state {oracle = orc})
if needed then act else return underscore
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment