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

T17775-viewpats-b.hs:7:9: error: [GHC-39999]
    • 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