Tweaks and typos in manual, note refs, comments

[ghc.git] / testsuite / tests / typecheck / should_fail / FrozenErrorTests.hs

diff --git a/testsuite/tests/typecheck/should_fail/FrozenErrorTests.hs b/testsuite/tests/typecheck/should_fail/FrozenErrorTests.hs
index 479087b..390333c 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/FrozenErrorTests.hs
+++ b/testsuite/tests/typecheck/should_fail/FrozenErrorTests.hs
@@ -6,10 +6,6 @@ data T a where
   MkT :: a -> T a 
   MkT3 :: forall a. (a ~ Bool) => T a 
 
--- Occurs checks in givens
-foo :: forall a. (a ~ T a) => a -> a 
-foo x = x 
-
 -- Mismatches in givens 
 bloh :: T Int -> () 
 bloh x = case x of