projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 2001-01-17 15:11:04 by simonmar]
[ghc-hetmet.git] / ghc / interpreter / test / typechecker / t002.out1
1 ERROR "test/typechecker/t002.hs" (line 2): Inferred type is not general enough
2 *** Expression    : x
3 *** Expected type : a
4 *** Inferred type : Char
5
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)