testsuite/tests/th/T17461.stderr


1
2
3
4
5
6
7

T17461.hs:(8,2)-(10,7): Splicing declarations
    [d| type (:+:) :: Type -> Type -> Type
        
        type (:+:) = Either |]
  ======>
    type (:+:) :: Type -> Type -> Type
    type (:+:) = Either