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