summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T17775-viewpats-b.stderr
blob: 4214016b2abc00c6236edba3ff28b8aa89736a29 (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: (==)
      In the expression: == x
      In the pattern: (== x) -> result