blob: 74f316e7d7a60b04eb00bf92980d5a8d4353c39c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T15243.hs:(11,2)-(16,7): Splicing declarations
[d| type family F (a :: k) :: k where
F 'Unit = 'Unit
F '(,) = '(,)
F '[] = '[]
F '(:) = '(:) |]
======>
type family F (a :: k) :: k where
F 'Unit = 'Unit
F '(,) = '(,)
F '[] = '[]
F '(:) = '(:)
|