testsuite/tests/th/T16666.stderr


1
2
3
4
5
6
7

T16666.hs:(9,2)-(11,7): Splicing declarations
    [d| class (c => d) => Implies c d
        
        instance (c => d) => Implies c d |]
  ======>
    class (c => d) => Implies c d
    instance (c => d) => Implies c d