diff options
Diffstat (limited to 'testsuite/tests/th/T15243.stderr')
-rw-r--r-- | testsuite/tests/th/T15243.stderr | 21 |
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 '(:) = '(:) |