testsuite/tests/typecheck/should_compile/tc120.hs


1
2
3
4
5
6
7
8

-- !!! Check that we can have a type for main that is more general than IO a

-- main :: forall a.a   certainly also has type IO a, so it should be fine.

module Main(main) where

main :: a
main = error "not much luck"