Commit 6f13e688 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-05-10 13:31:09 by simonpj]

Add a test for tyvars in a type-sig that arent free in the type
parent 98bbe1ca
......@@ -155,3 +155,4 @@ test "tc150" { myvtc("") }
test "tc151" { myvtc("") }
test "tc152" { myvtc("") }
test "tc153" { myvtc("") }
test "tc154" { myvtc("") }
-- 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 () = ()
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment