From: simonpj <unknown>
Date: Thu, 5 Apr 2001 11:48:59 +0000 (+0000)
Subject: [project @ 2001-04-05 11:48:59 by simonpj]
X-Git-Tag: Approximately_9120_patches~2190
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=06776c85fdffa4a9295aa8bb5bfa27f7f19cd51e;p=ghc-hetmet.git

[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
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"