blob: 25286ef671707107767f29d3ce3e5f1818b0c44e (
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 ('Solo ())
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 (Solo())
T18612.hs:12:41-78: Splicing expression
conE 'Identity `appE` tupE [tupE []] ======> Identity (Solo ())
|
