blob: b710dc3b392adeab1f301e427bdca3925ba8c9ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T18612.hs:14:11-68: Splicing type
conT ''Proxy `appT` (promotedTupleT 1 `appT` (tupleT 0))
======>
Proxy ('MkSolo ())
T18612.hs:(10,7)-(11,75): Splicing type
arrowT `appT` (conT ''Identity `appT` (tupleT 1 `appT` (tupleT 0)))
`appT` (conT ''Identity `appT` (tupleT 1 `appT` (tupleT 0)))
======>
Identity (Solo ()) -> Identity (Solo ())
T18612.hs:12:4-36: Splicing pattern
conP 'Identity [tupP [tupP []]] ======> Identity (MkSolo())
T18612.hs:12:41-78: Splicing expression
conE 'Identity `appE` tupE [tupE []] ======> Identity (MkSolo ())
|
