blob: 11c64d868da6b53331a00e9992fd3872d24d1d3a (
plain)
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"
|