Skip to content
Snippets Groups Projects
Commit 8284c527 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Fix HLint warnings

parent 3d48bb85
No related branches found
No related tags found
No related merge requests found
......@@ -100,8 +100,8 @@ oneProgRun prog state trace = do
writeIORef state s'
case next of
Restart -> terminateProcess handle >> mapM_ hClose [pstdin, pstdout]
Continue x -> do
makeDecision pstdin state x
Continue x' -> do
makeDecision pstdin state x'
loop
EOF -> terminateProcess handle >> mapM_ hClose [pstdin, pstdout]
......@@ -111,11 +111,11 @@ oneProgRun prog state trace = do
tracePath :: Handle -> Handle -> IORef State -> [Bool] -> IO ()
tracePath pstdin pstdout state [] = return ()
tracePath pstdin pstdout state (decision:ds) = do
tracePath _ _ _ [] = return ()
tracePath pstdin pstdout state (decision:ds) =
handleLine pstdout state >>= \case
EOF -> error "premature eof" -- FIXME
Decision x -> do
Decision _ -> do
makeDecision pstdin state decision
tracePath pstdin pstdout state ds
NewState _ -> tracePath pstdin pstdout state (decision:ds)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment