blob: debb18dee55aef217f797ebdf92de7bbc7facd83 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T14681.hs:7:3-31: Splicing declarations
[d| f = \ (Identity x) -> x |] ======> f = \ (Identity x) -> x
T14681.hs:(8,3)-(9,62): Splicing declarations
[d| g = $(pure
$ VarE '(+) `AppE` LitE (IntegerL (- 1))
`AppE` (LitE (IntegerL (- 1)))) |]
pending(rn) [<splice, pure
$ VarE '(+) `AppE` LitE (IntegerL (- 1))
`AppE` (LitE (IntegerL (- 1)))>]
======>
g = ((+) (-1)) (-1)
|
