summaryrefslogtreecommitdiff
path: root/testsuite/tests/saks/should_compile/T16724.stdout
blob: 099371c58d1059e8a6807d0232371f8d55d738b4 (plain)
1
2
3
4
5
6
type T1 :: forall k (a :: k). Type
type family T1 @k @a
  	-- Defined at T16724.hs:11:1
type T2 :: forall {k} (a :: k). Type
type family T2 @{k} @a
  	-- Defined at T16724.hs:15:1