X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail043.stderr;fp=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail043.stderr;h=0000000000000000000000000000000000000000;hb=16acb4976514ab4b03c79d6845e3f0e98a1a33cf;hp=3dd8884368a82bb34d93fbd8b61670d979c87206;hpb=f2eadfd5dfb23cc611e2540f46180bca7d095f15;p=ghc-hetmet.git diff --git a/ghc/tests/typecheck/should_fail/tcfail043.stderr b/ghc/tests/typecheck/should_fail/tcfail043.stderr deleted file mode 100644 index 3dd8884..0000000 --- a/ghc/tests/typecheck/should_fail/tcfail043.stderr +++ /dev/null @@ -1,10 +0,0 @@ - -tcfail043.hs:38: - Ambiguous type variable(s) `a' in the constraint `Ord_ a' - arising from use of `gt' at tcfail043.hs:38 - In the predicate expression: gt (hd bs) a - in a lambda abstraction: - if gt (hd bs) a then - False - else - if eq a (hd bs) then True else search a (tl bs)