Commit 38cd36a9 authored by simonpj's avatar simonpj

[project @ 2002-06-21 13:13:47 by simonpj]

Add tc158
parent 20c553c7
......@@ -159,3 +159,4 @@ test "tc154" { myvtc("") }
test "tc155" { myvtc("") }
test "tc156" { myvtc("") }
test "tc157" { myvtc("") }
test "tc158" { myvtc("") }
{-# OPTIONS -fglasgow-exts #-}
-- Types should be checked for well-formedness only after
-- expanding type synonyms. GHC 5.03 fails this
module ShouldCompile where
type All u = forall x. x->u
type All' u = u -> All u
all1 :: All u -> (u -> All u) -> All u
all1 = undefined
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