testsuite/tests/ghc-regress/typecheck/should_fail/tcfail067.stderr-hugs


1
2
3
4
5

ERROR "tcfail067.hs":12 - Cannot justify constraints in explicitly typed binding
*** Expression    : subRangeValue
*** Type          : SubRange a -> a
*** Given context : ()
*** Constraints   : Ord a