projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
11c64d868da6b53331a00e9992fd3872d24d1d3a
[ghc-hetmet.git]
/
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"