diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_fail/tcfail043.stderr')
-rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_fail/tcfail043.stderr | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail043.stderr b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail043.stderr deleted file mode 100644 index 7cd3faf53e..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail043.stderr +++ /dev/null @@ -1,21 +0,0 @@ - -tcfail043.hs:38:17: - Ambiguous type variable `a0' in the constraints: - (Ord_ a0) arising from a use of `gt' at tcfail043.hs:38:17-18 - (Eq_ a0) arising from a use of `eq' at tcfail043.hs:40:25-26 - Possible cause: the monomorphism restriction applied to the following: - search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) - Probable fix: give these definition(s) an explicit type signature - or use -XNoMonomorphismRestriction - In the expression: gt (hd bs) a - In the expression: - if gt (hd bs) a then - False - else - if eq a (hd bs) then True else search a (tl bs) - In the expression: - \ a bs - -> if gt (hd bs) a then - False - else - if eq a (hd bs) then True else search a (tl bs) |