testsuite/tests/saks/should_compile/T17164.stderr


1
2
3
4
5
6
7

T17164.hs:(12,2)-(14,7): Splicing declarations
    [d| type T :: forall k -> k -> Type
        
        type family T :: forall k -> k -> Type |]
  ======>
    type T :: forall k -> k -> Type
    type family T :: forall k -> k -> Type