summaryrefslogtreecommitdiff
path: root/testsuite/tests/saks/should_compile/T16724.stdout
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/saks/should_compile/T16724.stdout')
-rw-r--r--testsuite/tests/saks/should_compile/T16724.stdout6
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/saks/should_compile/T16724.stdout b/testsuite/tests/saks/should_compile/T16724.stdout
new file mode 100644
index 0000000000..099371c58d
--- /dev/null
+++ b/testsuite/tests/saks/should_compile/T16724.stdout
@@ -0,0 +1,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