summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc104.hs
blob: 25f354c42a602306fbf8b8fb13e75afd63a15241 (plain)
1
2
3
4
-- !!! Checking that Main.main's type can now be of the form (IO a)
module Main(main) where

main = putStrLn "Hello" >> return (id)