Commit 8390afc0 authored by sewardj's avatar sewardj
Browse files

[project @ 2001-10-24 10:27:55 by sewardj]

Move malclassified tc138/tc139 to tcfail100/tcfail101 in this dir.
parent 51025d4e
...@@ -97,3 +97,6 @@ test "tcfail098" { $expect = "fail" ...@@ -97,3 +97,6 @@ test "tcfail098" { $expect = "fail"
vtcf("") } vtcf("") }
test "tcfail099" { vtcf("") } test "tcfail099" { vtcf("") }
test "tcfail100" { vtcf("") }
test "tcfail101" { vtcf("") }
-- 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
tcfail100.hs:7:
Type synonym `A' should have 1 argument, but has been given 0
In the type: A
While checking the RHS of a type synonym declaration `B'
In the type synonym declaration for `B'
-- 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"
tcfail101.hs:9:
Type synonym `A' should have 1 argument, but has been given 0
In the type: T A
While checking the type signature for `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