testsuite/tests/typecheck/should_compile/tc154.hs


1
2
3
4
5
6
7
8
9

-- The type sig mentions a type variable that doesn't appear in 
-- the type.  This one killed GHC 5.03, in a trivial way.

module ShouldCompile where

type T a = () -> ()

f :: T a
f () = ()