[project @ 2001-01-17 15:23:39 by sewardj]

[ghc-hetmet.git] / ghc / interpreter / test / typechecker / t005.hs

diff --git a/ghc/interpreter/test/typechecker/t005.hs b/ghc/interpreter/test/typechecker/t005.hs
deleted file mode 100644 (file)
index fd58627..0000000
--- a/ghc/interpreter/test/typechecker/t005.hs
+++ /dev/null
@@ -1,21 +0,0 @@
---!!! Test for error in type error message (fixed in Hugs 1.4)
-module TyErr where
-
-newtype StateMonad m s a = MkStateMonad (s -> (m (s, a)))
-
-instance Monad m => Monad (StateMonad m s) where
-    (>>=) (MkStateMonad fn1) f
-       = MkStateMonad (\st -> (do res <- fn1 st
-                                  case res of
-                                      (st', res') -> extrStateMonad (f res') st'))
-    return val = MkStateMonad (\st -> (return (st, val)))
-                          
-extrStateMonad (MkStateMonad f) = f
-
-getState :: Monad m => StateMonad m s s
-getState = MkStateMonad (\st -> return (st, st))
-
--- popIndentList :: StateMonad IO Int ()
-popIndentList = 
-    (do getState
-       return ())