ghc/tests/typecheck/should_compile/tc120.hs

   1 -- !!! Check that we can have a type for main that is more general than IO a
   2
   3 -- main :: forall a.a   certainly also has type IO a, so it should be fine.
   4
   5 module Main(main) where
   6
   7 main :: a
   8 main = error "not much luck"