blob: debcc0bbcd25de64f280616977db113082503440 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T13776.hs:10:15-43: Splicing type
conT ''[] `appT` conT ''Int ======> [] Int
T13776.hs:7:15-62: Splicing type
conT ''(,) `appT` conT ''Int `appT` conT ''Int ======> (,) Int Int
T13776.hs:14:15-75: Splicing expression
conE '(,) `appE` litE (integerL 1) `appE` litE (integerL 1)
======>
((,) 1) 1
T13776.hs:17:15-24: Splicing expression conE '[] ======> []
T13776.hs:20:13-62: Splicing pattern
conP '(,) [litP (integerL 1), litP (integerL 1)] ======> (,) 1 1
T13776.hs:23:13-25: Splicing pattern conP '[] [] ======> []
|
