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

[project @ 2001-10-17 10:57:16 by simonpj]

Add tests for unsaturated type synonyms
parent 9a836189
......@@ -140,3 +140,5 @@ test "tc133" { myvtc("") }
test "tc134" { myvtc("") }
test "tc135" { myvtc("") }
test "tc136" { myvtc("") }
test "tc138" { myvtc("") }
test "tc139" { myvtc("") }
-- This one broke GHC 5.02, because of the unsaturated
-- uses of type synonyms, which are nevertheless kind-correct.
module ShouldCompile where
type A i = i
type B = A
-- This one broke GHC 5.02, because of the unsaturated
-- uses of type synonyms, which are nevertheless kind-correct.
module ShouldCompile where
type A i = i
data T k = MkT (k Int)
f :: T A -- BAD!
f = error "foo"
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