summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T15243.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/th/T15243.stderr')
-rw-r--r--testsuite/tests/th/T15243.stderr21
1 files changed, 12 insertions, 9 deletions
diff --git a/testsuite/tests/th/T15243.stderr b/testsuite/tests/th/T15243.stderr
index 4e50186c1f..59f921ab8a 100644
--- a/testsuite/tests/th/T15243.stderr
+++ b/testsuite/tests/th/T15243.stderr
@@ -1,12 +1,15 @@
-T15243.hs:(10,3)-(15,6): Splicing declarations
- [d| type family F (a :: k) :: k where
- F 'Unit = 'Unit
- F '(,) = '(,)
+T15243.hs:(11,3)-(17,6): Splicing declarations
+ [d| type F :: k -> k
+
+ type family F a where
+ F 'Unit = 'Unit
+ F '(,) = '(,)
F '[] = '[]
- F '(:) = '(:) |]
+ F '(:) = '(:) |]
======>
- type family F (a :: k) :: k where
- F 'Unit = 'Unit
- F '(,) = '(,)
+ type F :: k -> k
+ type family F a where
+ F 'Unit = 'Unit
+ F '(,) = '(,)
F '[] = '[]
- F '(:) = '(:)
+ F '(:) = '(:)