Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail076.hs
index e8a3455..fc4fc01 100644 (file)
@@ -1,8 +1,8 @@
 {-# LANGUAGE RankNTypes #-}
 
-{- 
-       From: Ralf Hinze <ralf@uran.informatik.uni-bonn.de>
-       Date: Fri, 15 Aug 1997 15:20:51 +0200 (MET DST)
+{-
+        From: Ralf Hinze <ralf@uran.informatik.uni-bonn.de>
+        Date: Fri, 15 Aug 1997 15:20:51 +0200 (MET DST)
 
 I *suppose* that there is a bug in GHC's type checker. The following
 program, which I think is ill-typed, passes silently the type checker.
@@ -11,11 +11,11 @@ Needless to say that it uses some of GHC's arcane type extensions.
 
 module ShouldFail where
 
-data ContT m a         =  KContT (forall res. (a -> m res) -> m res)
-unKContT (KContT x)    =  x
+data ContT m a          =  KContT (forall res. (a -> m res) -> m res)
+unKContT (KContT x)     =  x
 
-callcc                 :: ((a -> ContT m b) -> ContT m a) -> ContT m a
-callcc f               =  KContT (\cont -> unKContT (f (\a -> KContT (\cont' -> cont a))) cont)
+callcc                  :: ((a -> ContT m b) -> ContT m a) -> ContT m a
+callcc f                =  KContT (\cont -> unKContT (f (\a -> KContT (\cont' -> cont a))) cont)
 
 {-
 `ContT' is a continuation monad transformer. Note that we locally