Ticket #7179: BinOp4.hcr

File BinOp4.hcr, 1.5 KB (added by stephen70edwards, 3 years ago)

External Core file generated from the test case. Note that the variable named wild2X3 appears in two distinct %of clauses.

Line 
1%module main:BinOp4
2  main:BinOp4.top :: ghczmprim:GHCziPrim.Intzh ->
3                     ghczmprim:GHCziPrim.Intzh =
4    \ (aab2::ghczmprim:GHCziPrim.Intzh) ->
5        %case ghczmprim:GHCziPrim.Intzh aab2
6        %of (wildX6::ghczmprim:GHCziPrim.Intzh)
7          {%_ ->
8             %case ghczmprim:GHCziPrim.Intzh (ghczmprim:GHCziPrim.zlzh wildX6
9                                              (4::ghczmprim:GHCziPrim.Intzh))
10             %of (wild1X4::ghczmprim:GHCziTypes.Bool)
11               {ghczmprim:GHCziTypes.False ->
12                  %case ghczmprim:GHCziPrim.Intzh (ghczmprim:GHCziPrim.zlzezh wildX6
13                                                   (4::ghczmprim:GHCziPrim.Intzh))
14                  %of (wild2X3::ghczmprim:GHCziTypes.Bool)
15                    {ghczmprim:GHCziTypes.False ->
16                       (36::ghczmprim:GHCziPrim.Intzh);
17                     ghczmprim:GHCziTypes.True ->
18                       (29::ghczmprim:GHCziPrim.Intzh)};
19                ghczmprim:GHCziTypes.True ->
20                  %case ghczmprim:GHCziPrim.Intzh (ghczmprim:GHCziPrim.zlzezh wildX6
21                                                   (4::ghczmprim:GHCziPrim.Intzh))
22                  %of (wild2X3::ghczmprim:GHCziTypes.Bool)
23                    {ghczmprim:GHCziTypes.False ->
24                       (37::ghczmprim:GHCziPrim.Intzh);
25                     ghczmprim:GHCziTypes.True ->
26                       (30::ghczmprim:GHCziPrim.Intzh)}};
27           (4::ghczmprim:GHCziPrim.Intzh) ->
28             (30::ghczmprim:GHCziPrim.Intzh)};