projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 2000-12-12 17:21:40 by simonmar]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail081.stderr
1
2 Cannot unify the type-signature variable `a' with the type `IO t'
3     Expected type: IO t
4     Inferred type: a
5 When checking that `main' has the required type
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)