summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T17775-viewpats-b.stderr
blob: e631106dd06477a04638f66bd917da7b6f041c2d (plain)
1
2
3
4
5
6
7
8
9
10

T17775-viewpats-b.hs:7:9: error:
    • No instance for (Eq a) arising from a use of ‘==’
      Possible fix:
        add (Eq a) to the context of
          the type signature for:
            ex2 :: forall a. a -> a -> Int -> Eq a => Bool
    • In the expression: == x
      In the pattern: (== x) -> result
      In an equation for ‘ex2’: ex2 x ((== x) -> result) = \ _ -> result