@@ -108,7 +108,7 @@ class MonadS m where
108 returnS :: a -> m a
108 returnS :: a -> m a
109 bindS :: Show a => m a -> (a -> m b) -> m b
109 bindS :: Show a => m a -> (a -> m b) -> m b
110 failS :: String -> m a
110 failS :: String -> m a
111− seqS :: Show a => m a -> m b -> m b
111+ seqS :: m a -> m b -> m b
113instance MonadS IO where
113instance MonadS IO where
114 returnS = Prelude.return
114 returnS = Prelude.return
@@ -128,7 +128,7 @@ instance MonadS Traced where
128 x `seqS` y = Traced $ unTraced x Prelude.>>= \(trace, result) ->
128 x `seqS` y = Traced $ unTraced x Prelude.>>= \(trace, result) ->
129 case result of
129 case result of
130 Left err -> Prelude.return (trace, Left err)
130 Left err -> Prelude.return (trace, Left err)
131− Right a -> unTraced y Prelude.>>= \(trace', result') ->
131+ Right _ -> unTraced y Prelude.>>= \(trace', result') ->
132 Prelude.return (trace ++ trace', result')
132 Prelude.return (trace ++ trace', result')
133 failS err = Traced $ Prelude.return ([], Left err)
133 failS err = Traced $ Prelude.return ([], Left err)