Another major improvement of "improvement"
[ghc.git] / testsuite / tests / typecheck / should_fail / T5236.hs
index 07b31c3..bbef9bb 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts  #-}
 
-module Main where 
+module T5236 where
 
 data A
 data B
@@ -13,9 +13,5 @@ instance Id B B
 loop :: Id A B => Bool
 loop = True
 
-f :: Bool 
-f = loop
-
-
-main :: IO () 
-main = return ()
\ No newline at end of file
+-- f :: Bool
+-- f = loop