1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
TupE [Just (LitE (IntegerL 909)),Nothing]
(909,)
TupE [Nothing,Just (LitE (IntegerL 909))]
(, 909)
ConE GHC.Tuple.(,)
GHC.Tuple.(,)
TupE [Just (LitE (IntegerL 909)),Just (LitE (IntegerL 606))]
(909, 606)
TupE [Nothing,Nothing,Just (LitE (IntegerL 909))]
(, , 909)
TupE [Just (LitE (IntegerL 909)),Nothing]
(909,)
TupE [Nothing,Just (LitE (IntegerL 909))]
(, 909)
ConE GHC.Tuple.(,)
GHC.Tuple.(,)
TupE [Just (LitE (IntegerL 909)),Just (LitE (IntegerL 606))]
(909, 606)
TupE [Nothing,Nothing,Just (LitE (IntegerL 909))]
(, , 909)
"(909,) applied to 'c' should be (909, 'c') ===> True"
"(,909) applied to False should be (False, 909) ===> True"
"(,,909) applied to 606 and True should be (606, True, 909) ===> True"
ConE GHC.Prim.(#,#)
GHC.Prim.(#,#)
UnboxedTupE [Just (LitE (CharL 'c')),Just (ConE GHC.Types.False)]
(# 'c', GHC.Types.False #)
UnboxedTupE [Just (LitE (CharL 'c')),Nothing]
(# 'c', #)
UnboxedTupE [Nothing,Just (ConE GHC.Types.False)]
(# , GHC.Types.False #)
AppE (UnboxedTupE [Nothing,Just (ConE GHC.Types.False)]) (LitE (CharL 'c'))
(# , GHC.Types.False #) 'c'
|
