From 06776c85fdffa4a9295aa8bb5bfa27f7f19cd51e Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 5 Apr 2001 11:48:59 +0000 Subject: [PATCH] [project @ 2001-04-05 11:48:59 by simonpj] Add tc120 --- ghc/tests/typecheck/should_compile/tc120.hs | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 ghc/tests/typecheck/should_compile/tc120.hs 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" -- 1.7.10.4