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

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