summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T18612.stderr
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 ())