tcfail076.stderr-hugs\should_fail\typecheck\ghc-regress\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail076.stderr-hugs

blob: a4a05f09bacfe2a399a1ec3818ac23f8b4278157 (plain)

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