summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail046.stderr
blob: 6ee553f689db08d78972413275b11dd6aa212b69 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

tcfail046.hs:10:50: error:
    • No instance for (Eq (Process a))
        arising from the first field of ‘Do’ (type ‘Process a’)
        (maybe you haven't applied a function to enough arguments?)
      Possible fix:
        use a standalone 'deriving instance' declaration,
          so you can specify the instance context yourself
    • When deriving the instance for (Eq (Continuation a))

tcfail046.hs:22:25: error:
    • Could not deduce (Eq (Process a))
        arising from the first field of ‘Create’ (type ‘Process a’)
      from the context: Eq a
        bound by the deriving clause for ‘Eq (Message a)’
        at tcfail046.hs:22:25-26
        (maybe you haven't applied a function to enough arguments?)
      Possible fix:
        use a standalone 'deriving instance' declaration,
          so you can specify the instance context yourself
    • When deriving the instance for (Eq (Message a))