blob: a4a05f09bacfe2a399a1ec3818ac23f8b4278157 (
plain)
1
2
3
4
|
ERROR "tcfail076.hs":18 - Inferred type is not general enough
*** Expression : \cont' -> cont a
*** Expected type : (_29 -> _28 a) -> _28 a
*** Inferred type : (_29 -> _28 _30) -> _28 _30
|