summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr
blob: a1a1295b123e5cb0b4630b6953f5f576a965f231 (plain)
1
2
3
4
5
6
7
8
9
10

PatBind3.hs:6:17: error:
    • Couldn't match type ‘(Bool, w)’ with ‘Char’
      Expected: (Bool, w) -> Char
        Actual: (Bool, w) -> (Bool, w)
    • In the first argument of ‘Just’, namely ‘id’
      In the expression: Just id
      In a pattern binding: Just foo = Just id
    • Relevant bindings include
        foo :: (Bool, w) -> Char (bound at PatBind3.hs:6:6)