testsuite/tests/simplCore/should_compile/T20040.stderr


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


==================== Final STG: ====================
$WNil = CCS_DONT_CARE Nil! [];

$WCons = \r [conrep conrep] Cons [conrep conrep];

unSucc1 = \r [ds] ds;

unSucc = \r [eta] unSucc1 eta;

Rec {
ifoldl' =
    \r [f z ds]
        case ds of {
          Nil -> z;
          Cons ipv2 ipv3 ->
              case z of z1 {
              __DEFAULT ->
              case f z1 ipv2 of sat { __DEFAULT -> ifoldl' f sat ipv3; };
              };
        };
end Rec }

Nil = \r [void] Nil [];

Cons = \r [void eta eta] Cons [eta eta];

Z = CCS_DONT_CARE Z! [];

S = \r [eta] S [eta];