[project @ 2001-04-05 11:48:59 by simonpj]

Add tc120

diff --git a/ghc/tests/typecheck/should_compile/tc120.hs b/ghc/tests/typecheck/should_compile/tc120.hs
new file mode 100644 (file)
index 0000000..11c64d8
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc120.hs
@@ -0,0 +1,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"