[project @ 1998-04-30 20:31:10 by sof]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail070.stderr
1  
2 tcfail070.hs:13:
3     Couldn't match the kind * against * -> kaAD
4     Expected: *
5     Found:    * -> kaAD
6     In the type `[Int] Bool'
7     In the type declaration for `State'
8
9
10 Compilation had errors