Skip to content

Commit 5cd45bf

Browse files
committed
test: regenerate GHC 9.12 Enum golden files for new pretty-printer
1 parent cf76559 commit 5cd45bf

File tree

4 files changed

+134
-122
lines changed

4 files changed

+134
-122
lines changed
Lines changed: 17 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
instance PlutusTx.Enum.Class.Enum GHC.Types.Bool
2-
where {PlutusTx.Enum.Class.succ (GHC.Types.False) = GHC.Types.True;
3-
PlutusTx.Enum.Class.succ (GHC.Types.True) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.succBadArgumentError;
4-
{-# INLINABLE PlutusTx.Enum.Class.succ #-};
5-
PlutusTx.Enum.Class.pred (GHC.Types.False) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.predBadArgumentError;
6-
PlutusTx.Enum.Class.pred (GHC.Types.True) = GHC.Types.False;
7-
{-# INLINABLE PlutusTx.Enum.Class.pred #-};
8-
PlutusTx.Enum.Class.toEnum 0 = GHC.Types.False;
9-
PlutusTx.Enum.Class.toEnum 1 = GHC.Types.True;
10-
PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.toEnumBadArgumentError;
11-
{-# INLINABLE PlutusTx.Enum.Class.toEnum #-};
12-
PlutusTx.Enum.Class.fromEnum (GHC.Types.False) = 0;
13-
PlutusTx.Enum.Class.fromEnum (GHC.Types.True) = 1;
14-
{-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}}
1+
instance PlutusTx.Enum.Class.Enum GHC.Types.Bool where
2+
PlutusTx.Enum.Class.succ (GHC.Types.False) = GHC.Types.True
3+
PlutusTx.Enum.Class.succ (GHC.Types.True) = PlutusTx.Trace.traceError
4+
PlutusTx.ErrorCodes.succBadArgumentError
5+
{-# INLINABLE PlutusTx.Enum.Class.succ #-}
6+
PlutusTx.Enum.Class.pred (GHC.Types.False) = PlutusTx.Trace.traceError
7+
PlutusTx.ErrorCodes.predBadArgumentError
8+
PlutusTx.Enum.Class.pred (GHC.Types.True) = GHC.Types.False
9+
{-# INLINABLE PlutusTx.Enum.Class.pred #-}
10+
PlutusTx.Enum.Class.toEnum 0 = GHC.Types.False
11+
PlutusTx.Enum.Class.toEnum 1 = GHC.Types.True
12+
PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError
13+
PlutusTx.ErrorCodes.toEnumBadArgumentError
14+
{-# INLINABLE PlutusTx.Enum.Class.toEnum #-}
15+
PlutusTx.Enum.Class.fromEnum (GHC.Types.False) = 0
16+
PlutusTx.Enum.Class.fromEnum (GHC.Types.True) = 1
17+
{-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}
Lines changed: 49 additions & 46 deletions
Original file line numberDiff line numberDiff line change
@@ -1,46 +1,49 @@
1-
instance PlutusTx.Enum.Class.Enum Enum.Spec.SomeVeryLargeEnum
2-
where {PlutusTx.Enum.Class.succ (Enum.Spec.E1) = Enum.Spec.E2;
3-
PlutusTx.Enum.Class.succ (Enum.Spec.E2) = Enum.Spec.E3;
4-
PlutusTx.Enum.Class.succ (Enum.Spec.E3) = Enum.Spec.E4;
5-
PlutusTx.Enum.Class.succ (Enum.Spec.E4) = Enum.Spec.E5;
6-
PlutusTx.Enum.Class.succ (Enum.Spec.E5) = Enum.Spec.E6;
7-
PlutusTx.Enum.Class.succ (Enum.Spec.E6) = Enum.Spec.E7;
8-
PlutusTx.Enum.Class.succ (Enum.Spec.E7) = Enum.Spec.E8;
9-
PlutusTx.Enum.Class.succ (Enum.Spec.E8) = Enum.Spec.E9;
10-
PlutusTx.Enum.Class.succ (Enum.Spec.E9) = Enum.Spec.E10;
11-
PlutusTx.Enum.Class.succ (Enum.Spec.E10) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.succBadArgumentError;
12-
{-# INLINABLE PlutusTx.Enum.Class.succ #-};
13-
PlutusTx.Enum.Class.pred (Enum.Spec.E1) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.predBadArgumentError;
14-
PlutusTx.Enum.Class.pred (Enum.Spec.E2) = Enum.Spec.E1;
15-
PlutusTx.Enum.Class.pred (Enum.Spec.E3) = Enum.Spec.E2;
16-
PlutusTx.Enum.Class.pred (Enum.Spec.E4) = Enum.Spec.E3;
17-
PlutusTx.Enum.Class.pred (Enum.Spec.E5) = Enum.Spec.E4;
18-
PlutusTx.Enum.Class.pred (Enum.Spec.E6) = Enum.Spec.E5;
19-
PlutusTx.Enum.Class.pred (Enum.Spec.E7) = Enum.Spec.E6;
20-
PlutusTx.Enum.Class.pred (Enum.Spec.E8) = Enum.Spec.E7;
21-
PlutusTx.Enum.Class.pred (Enum.Spec.E9) = Enum.Spec.E8;
22-
PlutusTx.Enum.Class.pred (Enum.Spec.E10) = Enum.Spec.E9;
23-
{-# INLINABLE PlutusTx.Enum.Class.pred #-};
24-
PlutusTx.Enum.Class.toEnum 0 = Enum.Spec.E1;
25-
PlutusTx.Enum.Class.toEnum 1 = Enum.Spec.E2;
26-
PlutusTx.Enum.Class.toEnum 2 = Enum.Spec.E3;
27-
PlutusTx.Enum.Class.toEnum 3 = Enum.Spec.E4;
28-
PlutusTx.Enum.Class.toEnum 4 = Enum.Spec.E5;
29-
PlutusTx.Enum.Class.toEnum 5 = Enum.Spec.E6;
30-
PlutusTx.Enum.Class.toEnum 6 = Enum.Spec.E7;
31-
PlutusTx.Enum.Class.toEnum 7 = Enum.Spec.E8;
32-
PlutusTx.Enum.Class.toEnum 8 = Enum.Spec.E9;
33-
PlutusTx.Enum.Class.toEnum 9 = Enum.Spec.E10;
34-
PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.toEnumBadArgumentError;
35-
{-# INLINABLE PlutusTx.Enum.Class.toEnum #-};
36-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E1) = 0;
37-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E2) = 1;
38-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E3) = 2;
39-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E4) = 3;
40-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E5) = 4;
41-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E6) = 5;
42-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E7) = 6;
43-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E8) = 7;
44-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E9) = 8;
45-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E10) = 9;
46-
{-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}}
1+
instance PlutusTx.Enum.Class.Enum Enum.Spec.SomeVeryLargeEnum where
2+
PlutusTx.Enum.Class.succ (Enum.Spec.E1) = Enum.Spec.E2
3+
PlutusTx.Enum.Class.succ (Enum.Spec.E2) = Enum.Spec.E3
4+
PlutusTx.Enum.Class.succ (Enum.Spec.E3) = Enum.Spec.E4
5+
PlutusTx.Enum.Class.succ (Enum.Spec.E4) = Enum.Spec.E5
6+
PlutusTx.Enum.Class.succ (Enum.Spec.E5) = Enum.Spec.E6
7+
PlutusTx.Enum.Class.succ (Enum.Spec.E6) = Enum.Spec.E7
8+
PlutusTx.Enum.Class.succ (Enum.Spec.E7) = Enum.Spec.E8
9+
PlutusTx.Enum.Class.succ (Enum.Spec.E8) = Enum.Spec.E9
10+
PlutusTx.Enum.Class.succ (Enum.Spec.E9) = Enum.Spec.E10
11+
PlutusTx.Enum.Class.succ (Enum.Spec.E10) = PlutusTx.Trace.traceError
12+
PlutusTx.ErrorCodes.succBadArgumentError
13+
{-# INLINABLE PlutusTx.Enum.Class.succ #-}
14+
PlutusTx.Enum.Class.pred (Enum.Spec.E1) = PlutusTx.Trace.traceError
15+
PlutusTx.ErrorCodes.predBadArgumentError
16+
PlutusTx.Enum.Class.pred (Enum.Spec.E2) = Enum.Spec.E1
17+
PlutusTx.Enum.Class.pred (Enum.Spec.E3) = Enum.Spec.E2
18+
PlutusTx.Enum.Class.pred (Enum.Spec.E4) = Enum.Spec.E3
19+
PlutusTx.Enum.Class.pred (Enum.Spec.E5) = Enum.Spec.E4
20+
PlutusTx.Enum.Class.pred (Enum.Spec.E6) = Enum.Spec.E5
21+
PlutusTx.Enum.Class.pred (Enum.Spec.E7) = Enum.Spec.E6
22+
PlutusTx.Enum.Class.pred (Enum.Spec.E8) = Enum.Spec.E7
23+
PlutusTx.Enum.Class.pred (Enum.Spec.E9) = Enum.Spec.E8
24+
PlutusTx.Enum.Class.pred (Enum.Spec.E10) = Enum.Spec.E9
25+
{-# INLINABLE PlutusTx.Enum.Class.pred #-}
26+
PlutusTx.Enum.Class.toEnum 0 = Enum.Spec.E1
27+
PlutusTx.Enum.Class.toEnum 1 = Enum.Spec.E2
28+
PlutusTx.Enum.Class.toEnum 2 = Enum.Spec.E3
29+
PlutusTx.Enum.Class.toEnum 3 = Enum.Spec.E4
30+
PlutusTx.Enum.Class.toEnum 4 = Enum.Spec.E5
31+
PlutusTx.Enum.Class.toEnum 5 = Enum.Spec.E6
32+
PlutusTx.Enum.Class.toEnum 6 = Enum.Spec.E7
33+
PlutusTx.Enum.Class.toEnum 7 = Enum.Spec.E8
34+
PlutusTx.Enum.Class.toEnum 8 = Enum.Spec.E9
35+
PlutusTx.Enum.Class.toEnum 9 = Enum.Spec.E10
36+
PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError
37+
PlutusTx.ErrorCodes.toEnumBadArgumentError
38+
{-# INLINABLE PlutusTx.Enum.Class.toEnum #-}
39+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E1) = 0
40+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E2) = 1
41+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E3) = 2
42+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E4) = 3
43+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E5) = 4
44+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E6) = 5
45+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E7) = 6
46+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E8) = 7
47+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E9) = 8
48+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.E10) = 9
49+
{-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}
Lines changed: 55 additions & 52 deletions
Original file line numberDiff line numberDiff line change
@@ -1,53 +1,56 @@
11
instance PlutusTx.Enum.Class.Enum (Enum.Spec.SomeVeryLargePhantom a_0
2-
b_1
3-
c_2
4-
d_3
5-
e_4
6-
f_5
7-
g_6
8-
h_7)
9-
where {PlutusTx.Enum.Class.succ (Enum.Spec.P1) = Enum.Spec.P2;
10-
PlutusTx.Enum.Class.succ (Enum.Spec.P2) = Enum.Spec.P3;
11-
PlutusTx.Enum.Class.succ (Enum.Spec.P3) = Enum.Spec.P4;
12-
PlutusTx.Enum.Class.succ (Enum.Spec.P4) = Enum.Spec.P5;
13-
PlutusTx.Enum.Class.succ (Enum.Spec.P5) = Enum.Spec.P6;
14-
PlutusTx.Enum.Class.succ (Enum.Spec.P6) = Enum.Spec.P7;
15-
PlutusTx.Enum.Class.succ (Enum.Spec.P7) = Enum.Spec.P8;
16-
PlutusTx.Enum.Class.succ (Enum.Spec.P8) = Enum.Spec.P9;
17-
PlutusTx.Enum.Class.succ (Enum.Spec.P9) = Enum.Spec.P10;
18-
PlutusTx.Enum.Class.succ (Enum.Spec.P10) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.succBadArgumentError;
19-
{-# INLINABLE PlutusTx.Enum.Class.succ #-};
20-
PlutusTx.Enum.Class.pred (Enum.Spec.P1) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.predBadArgumentError;
21-
PlutusTx.Enum.Class.pred (Enum.Spec.P2) = Enum.Spec.P1;
22-
PlutusTx.Enum.Class.pred (Enum.Spec.P3) = Enum.Spec.P2;
23-
PlutusTx.Enum.Class.pred (Enum.Spec.P4) = Enum.Spec.P3;
24-
PlutusTx.Enum.Class.pred (Enum.Spec.P5) = Enum.Spec.P4;
25-
PlutusTx.Enum.Class.pred (Enum.Spec.P6) = Enum.Spec.P5;
26-
PlutusTx.Enum.Class.pred (Enum.Spec.P7) = Enum.Spec.P6;
27-
PlutusTx.Enum.Class.pred (Enum.Spec.P8) = Enum.Spec.P7;
28-
PlutusTx.Enum.Class.pred (Enum.Spec.P9) = Enum.Spec.P8;
29-
PlutusTx.Enum.Class.pred (Enum.Spec.P10) = Enum.Spec.P9;
30-
{-# INLINABLE PlutusTx.Enum.Class.pred #-};
31-
PlutusTx.Enum.Class.toEnum 0 = Enum.Spec.P1;
32-
PlutusTx.Enum.Class.toEnum 1 = Enum.Spec.P2;
33-
PlutusTx.Enum.Class.toEnum 2 = Enum.Spec.P3;
34-
PlutusTx.Enum.Class.toEnum 3 = Enum.Spec.P4;
35-
PlutusTx.Enum.Class.toEnum 4 = Enum.Spec.P5;
36-
PlutusTx.Enum.Class.toEnum 5 = Enum.Spec.P6;
37-
PlutusTx.Enum.Class.toEnum 6 = Enum.Spec.P7;
38-
PlutusTx.Enum.Class.toEnum 7 = Enum.Spec.P8;
39-
PlutusTx.Enum.Class.toEnum 8 = Enum.Spec.P9;
40-
PlutusTx.Enum.Class.toEnum 9 = Enum.Spec.P10;
41-
PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.toEnumBadArgumentError;
42-
{-# INLINABLE PlutusTx.Enum.Class.toEnum #-};
43-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P1) = 0;
44-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P2) = 1;
45-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P3) = 2;
46-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P4) = 3;
47-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P5) = 4;
48-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P6) = 5;
49-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P7) = 6;
50-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P8) = 7;
51-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P9) = 8;
52-
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P10) = 9;
53-
{-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}}
2+
b_0
3+
c_0
4+
d_0
5+
e_0
6+
f_0
7+
g_0
8+
h_0) where
9+
PlutusTx.Enum.Class.succ (Enum.Spec.P1) = Enum.Spec.P2
10+
PlutusTx.Enum.Class.succ (Enum.Spec.P2) = Enum.Spec.P3
11+
PlutusTx.Enum.Class.succ (Enum.Spec.P3) = Enum.Spec.P4
12+
PlutusTx.Enum.Class.succ (Enum.Spec.P4) = Enum.Spec.P5
13+
PlutusTx.Enum.Class.succ (Enum.Spec.P5) = Enum.Spec.P6
14+
PlutusTx.Enum.Class.succ (Enum.Spec.P6) = Enum.Spec.P7
15+
PlutusTx.Enum.Class.succ (Enum.Spec.P7) = Enum.Spec.P8
16+
PlutusTx.Enum.Class.succ (Enum.Spec.P8) = Enum.Spec.P9
17+
PlutusTx.Enum.Class.succ (Enum.Spec.P9) = Enum.Spec.P10
18+
PlutusTx.Enum.Class.succ (Enum.Spec.P10) = PlutusTx.Trace.traceError
19+
PlutusTx.ErrorCodes.succBadArgumentError
20+
{-# INLINABLE PlutusTx.Enum.Class.succ #-}
21+
PlutusTx.Enum.Class.pred (Enum.Spec.P1) = PlutusTx.Trace.traceError
22+
PlutusTx.ErrorCodes.predBadArgumentError
23+
PlutusTx.Enum.Class.pred (Enum.Spec.P2) = Enum.Spec.P1
24+
PlutusTx.Enum.Class.pred (Enum.Spec.P3) = Enum.Spec.P2
25+
PlutusTx.Enum.Class.pred (Enum.Spec.P4) = Enum.Spec.P3
26+
PlutusTx.Enum.Class.pred (Enum.Spec.P5) = Enum.Spec.P4
27+
PlutusTx.Enum.Class.pred (Enum.Spec.P6) = Enum.Spec.P5
28+
PlutusTx.Enum.Class.pred (Enum.Spec.P7) = Enum.Spec.P6
29+
PlutusTx.Enum.Class.pred (Enum.Spec.P8) = Enum.Spec.P7
30+
PlutusTx.Enum.Class.pred (Enum.Spec.P9) = Enum.Spec.P8
31+
PlutusTx.Enum.Class.pred (Enum.Spec.P10) = Enum.Spec.P9
32+
{-# INLINABLE PlutusTx.Enum.Class.pred #-}
33+
PlutusTx.Enum.Class.toEnum 0 = Enum.Spec.P1
34+
PlutusTx.Enum.Class.toEnum 1 = Enum.Spec.P2
35+
PlutusTx.Enum.Class.toEnum 2 = Enum.Spec.P3
36+
PlutusTx.Enum.Class.toEnum 3 = Enum.Spec.P4
37+
PlutusTx.Enum.Class.toEnum 4 = Enum.Spec.P5
38+
PlutusTx.Enum.Class.toEnum 5 = Enum.Spec.P6
39+
PlutusTx.Enum.Class.toEnum 6 = Enum.Spec.P7
40+
PlutusTx.Enum.Class.toEnum 7 = Enum.Spec.P8
41+
PlutusTx.Enum.Class.toEnum 8 = Enum.Spec.P9
42+
PlutusTx.Enum.Class.toEnum 9 = Enum.Spec.P10
43+
PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError
44+
PlutusTx.ErrorCodes.toEnumBadArgumentError
45+
{-# INLINABLE PlutusTx.Enum.Class.toEnum #-}
46+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P1) = 0
47+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P2) = 1
48+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P3) = 2
49+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P4) = 3
50+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P5) = 4
51+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P6) = 5
52+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P7) = 6
53+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P8) = 7
54+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P9) = 8
55+
PlutusTx.Enum.Class.fromEnum (Enum.Spec.P10) = 9
56+
{-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}
Lines changed: 13 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,13 @@
1-
instance PlutusTx.Enum.Class.Enum GHC.Tuple.Unit
2-
where {PlutusTx.Enum.Class.succ (GHC.Tuple.()) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.succBadArgumentError;
3-
{-# INLINABLE PlutusTx.Enum.Class.succ #-};
4-
PlutusTx.Enum.Class.pred (GHC.Tuple.()) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.predBadArgumentError;
5-
{-# INLINABLE PlutusTx.Enum.Class.pred #-};
6-
PlutusTx.Enum.Class.toEnum 0 = GHC.Tuple.();
7-
PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.toEnumBadArgumentError;
8-
{-# INLINABLE PlutusTx.Enum.Class.toEnum #-};
9-
PlutusTx.Enum.Class.fromEnum (GHC.Tuple.()) = 0;
10-
{-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}}
1+
instance PlutusTx.Enum.Class.Enum GHC.Tuple.Unit where
2+
PlutusTx.Enum.Class.succ ((GHC.Tuple.())) = PlutusTx.Trace.traceError
3+
PlutusTx.ErrorCodes.succBadArgumentError
4+
{-# INLINABLE PlutusTx.Enum.Class.succ #-}
5+
PlutusTx.Enum.Class.pred ((GHC.Tuple.())) = PlutusTx.Trace.traceError
6+
PlutusTx.ErrorCodes.predBadArgumentError
7+
{-# INLINABLE PlutusTx.Enum.Class.pred #-}
8+
PlutusTx.Enum.Class.toEnum 0 = GHC.Tuple.()
9+
PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError
10+
PlutusTx.ErrorCodes.toEnumBadArgumentError
11+
{-# INLINABLE PlutusTx.Enum.Class.toEnum #-}
12+
PlutusTx.Enum.Class.fromEnum ((GHC.Tuple.())) = 0
13+
{-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}

0 commit comments

Comments
 (0)