Skip to content

Commit f1817ba

Browse files
UnisayUnisay
committed
test: regenerate GHC 9.12 IsData golden files for new pretty-printer
1 parent 98f016a commit f1817ba

File tree

4 files changed

+179
-99
lines changed

4 files changed

+179
-99
lines changed

‎plutus-tx-plugin/test/IsData/9.12/MyMonoData.golden.th‎

Lines changed: 60 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -1,31 +1,60 @@
1-
instance PlutusTx.IsData.Class.ToData Plugin.Data.Spec.MyMonoData
2-
where {{-# INLINABLE PlutusTx.IsData.Class.toBuiltinData #-};
3-
PlutusTx.IsData.Class.toBuiltinData (Plugin.Data.Spec.Mono1 arg_0
4-
arg_1) = PlutusTx.Builtins.Internal.mkConstr (0 :: GHC.Num.Integer.Integer) (PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_0) (PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_1) (PlutusTx.Builtins.Internal.mkNilData PlutusTx.Builtins.Internal.unitval)));
5-
PlutusTx.IsData.Class.toBuiltinData (Plugin.Data.Spec.Mono2 arg_2) = PlutusTx.Builtins.Internal.mkConstr (1 :: GHC.Num.Integer.Integer) (PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_2) (PlutusTx.Builtins.Internal.mkNilData PlutusTx.Builtins.Internal.unitval));
6-
PlutusTx.IsData.Class.toBuiltinData (Plugin.Data.Spec.Mono3 arg_3) = PlutusTx.Builtins.Internal.mkConstr (2 :: GHC.Num.Integer.Integer) (PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_3) (PlutusTx.Builtins.Internal.mkNilData PlutusTx.Builtins.Internal.unitval))}
7-
instance PlutusTx.IsData.Class.FromData Plugin.Data.Spec.MyMonoData
8-
where {{-# INLINABLE PlutusTx.IsData.Class.fromBuiltinData #-};
9-
PlutusTx.IsData.Class.fromBuiltinData d_4 = let constrFun_5 (!index_6) (!args_7) = case (index_6,
10-
args_7) of
11-
{(((PlutusTx.Eq.==) (0 :: GHC.Num.Integer.Integer) -> GHC.Types.True),
12-
(PlutusTx.Builtins.uncons -> GHC.Internal.Maybe.Just ((PlutusTx.IsData.Class.fromBuiltinData -> GHC.Internal.Maybe.Just arg_8),
13-
(PlutusTx.Builtins.headMaybe -> GHC.Internal.Maybe.Just (PlutusTx.IsData.Class.fromBuiltinData -> GHC.Internal.Maybe.Just arg_9))))) -> GHC.Internal.Maybe.Just (Plugin.Data.Spec.Mono1 arg_8 arg_9);
14-
(((PlutusTx.Eq.==) (1 :: GHC.Num.Integer.Integer) -> GHC.Types.True),
15-
(PlutusTx.Builtins.headMaybe -> GHC.Internal.Maybe.Just (PlutusTx.IsData.Class.fromBuiltinData -> GHC.Internal.Maybe.Just arg_10))) -> GHC.Internal.Maybe.Just (Plugin.Data.Spec.Mono2 arg_10);
16-
(((PlutusTx.Eq.==) (2 :: GHC.Num.Integer.Integer) -> GHC.Types.True),
17-
(PlutusTx.Builtins.headMaybe -> GHC.Internal.Maybe.Just (PlutusTx.IsData.Class.fromBuiltinData -> GHC.Internal.Maybe.Just arg_11))) -> GHC.Internal.Maybe.Just (Plugin.Data.Spec.Mono3 arg_11);
18-
_ -> GHC.Internal.Maybe.Nothing}
19-
in PlutusTx.Builtins.matchData' d_4 constrFun_5 (GHC.Internal.Base.const GHC.Internal.Maybe.Nothing) (GHC.Internal.Base.const GHC.Internal.Maybe.Nothing) (GHC.Internal.Base.const GHC.Internal.Maybe.Nothing) (GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)}
20-
instance PlutusTx.IsData.Class.UnsafeFromData Plugin.Data.Spec.MyMonoData
21-
where {{-# INLINABLE PlutusTx.IsData.Class.unsafeFromBuiltinData #-};
22-
PlutusTx.IsData.Class.unsafeFromBuiltinData d_12 = PlutusTx.Builtins.Internal.casePair (PlutusTx.Builtins.Internal.unsafeDataAsConstr d_12) GHC.Internal.Base.$ (\index_13 args_14 -> PlutusTx.Builtins.Internal.caseInteger index_13 [\case
23-
{(PlutusTx.AsData.Internal.wrapUnsafeUncons -> ((PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_15),
24-
(PlutusTx.Builtins.Internal.head -> (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_16)))) -> Plugin.Data.Spec.Mono1 arg_15 arg_16;
25-
_ -> PlutusTx.Trace.traceError PlutusTx.ErrorCodes.reconstructCaseError},
26-
\case
27-
{(PlutusTx.Builtins.Internal.head -> (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_17)) -> Plugin.Data.Spec.Mono2 arg_17;
28-
_ -> PlutusTx.Trace.traceError PlutusTx.ErrorCodes.reconstructCaseError},
29-
\case
30-
{(PlutusTx.Builtins.Internal.head -> (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_18)) -> Plugin.Data.Spec.Mono3 arg_18;
31-
_ -> PlutusTx.Trace.traceError PlutusTx.ErrorCodes.reconstructCaseError}] args_14)}
1+
instance PlutusTx.IsData.Class.ToData Plugin.Data.Spec.MyMonoData where
2+
{-# INLINABLE PlutusTx.IsData.Class.toBuiltinData #-}
3+
PlutusTx.IsData.Class.toBuiltinData (Plugin.Data.Spec.Mono1 arg_0 arg_0)
4+
= PlutusTx.Builtins.Internal.mkConstr (0 :: GHC.Num.Integer.Integer)
5+
(PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_0)
6+
(PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_0)
7+
(PlutusTx.Builtins.Internal.mkNilData PlutusTx.Builtins.Internal.unitval)))
8+
PlutusTx.IsData.Class.toBuiltinData (Plugin.Data.Spec.Mono2 arg_0)
9+
= PlutusTx.Builtins.Internal.mkConstr (1 :: GHC.Num.Integer.Integer)
10+
(PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_0)
11+
(PlutusTx.Builtins.Internal.mkNilData PlutusTx.Builtins.Internal.unitval))
12+
PlutusTx.IsData.Class.toBuiltinData (Plugin.Data.Spec.Mono3 arg_0)
13+
= PlutusTx.Builtins.Internal.mkConstr (2 :: GHC.Num.Integer.Integer)
14+
(PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_0)
15+
(PlutusTx.Builtins.Internal.mkNilData PlutusTx.Builtins.Internal.unitval))
16+
instance PlutusTx.IsData.Class.FromData Plugin.Data.Spec.MyMonoData where
17+
{-# INLINABLE PlutusTx.IsData.Class.fromBuiltinData #-}
18+
PlutusTx.IsData.Class.fromBuiltinData d_0
19+
= let constrFun_0 !index_0 !args_0 = case (index_0, args_0) of
20+
{( (PlutusTx.Eq.Class.== (0 :: GHC.Num.Integer.Integer) -> (GHC.Types.True))
21+
, (PlutusTx.Builtins.uncons -> (GHC.Internal.Maybe.Just
22+
( (PlutusTx.IsData.Class.fromBuiltinData -> (GHC.Internal.Maybe.Just arg_0))
23+
, (PlutusTx.Builtins.headMaybe -> (GHC.Internal.Maybe.Just
24+
(PlutusTx.IsData.Class.fromBuiltinData -> (GHC.Internal.Maybe.Just arg_0)))) ))) )
25+
= GHC.Internal.Maybe.Just (Plugin.Data.Spec.Mono1 arg_0 arg_0)
26+
( (PlutusTx.Eq.Class.== (1 :: GHC.Num.Integer.Integer) -> (GHC.Types.True))
27+
, (PlutusTx.Builtins.headMaybe -> (GHC.Internal.Maybe.Just
28+
(PlutusTx.IsData.Class.fromBuiltinData -> (GHC.Internal.Maybe.Just arg_0)))) )
29+
= GHC.Internal.Maybe.Just (Plugin.Data.Spec.Mono2 arg_0)
30+
( (PlutusTx.Eq.Class.== (2 :: GHC.Num.Integer.Integer) -> (GHC.Types.True))
31+
, (PlutusTx.Builtins.headMaybe -> (GHC.Internal.Maybe.Just
32+
(PlutusTx.IsData.Class.fromBuiltinData -> (GHC.Internal.Maybe.Just arg_0)))) )
33+
= GHC.Internal.Maybe.Just (Plugin.Data.Spec.Mono3 arg_0)
34+
_ = GHC.Internal.Maybe.Nothing} in PlutusTx.Builtins.matchData' d_0
35+
constrFun_0
36+
(GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)
37+
(GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)
38+
(GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)
39+
(GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)
40+
instance PlutusTx.IsData.Class.UnsafeFromData Plugin.Data.Spec.MyMonoData where
41+
{-# INLINABLE PlutusTx.IsData.Class.unsafeFromBuiltinData #-}
42+
PlutusTx.IsData.Class.unsafeFromBuiltinData
43+
d_0
44+
= (PlutusTx.Builtins.Internal.casePair (PlutusTx.Builtins.Internal.unsafeDataAsConstr d_0))
45+
GHC.Internal.Base.$ (\index_0 args_0 ->
46+
PlutusTx.Builtins.Internal.caseInteger index_0
47+
[ \case
48+
{(PlutusTx.AsData.Internal.wrapUnsafeUncons -> ( (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_0)
49+
, (PlutusTx.Builtins.Internal.head -> (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_0)) ))
50+
= Plugin.Data.Spec.Mono1 arg_0 arg_0
51+
_ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.reconstructCaseError}
52+
, \case
53+
{(PlutusTx.Builtins.Internal.head -> (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_0))
54+
= Plugin.Data.Spec.Mono2 arg_0
55+
_ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.reconstructCaseError}
56+
, \case
57+
{(PlutusTx.Builtins.Internal.head -> (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_0))
58+
= Plugin.Data.Spec.Mono3 arg_0
59+
_ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.reconstructCaseError} ]
60+
args_0)

‎plutus-tx-plugin/test/IsData/9.12/MyMonoRecord.golden.th‎

Lines changed: 36 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,36 @@
1-
instance PlutusTx.IsData.Class.ToData Plugin.Data.Spec.MyMonoRecord
2-
where {{-# INLINABLE PlutusTx.IsData.Class.toBuiltinData #-};
3-
PlutusTx.IsData.Class.toBuiltinData (Plugin.Data.Spec.MyMonoRecord arg_0
4-
arg_1) = PlutusTx.Builtins.Internal.mkConstr (0 :: GHC.Num.Integer.Integer) (PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_0) (PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_1) (PlutusTx.Builtins.Internal.mkNilData PlutusTx.Builtins.Internal.unitval)))}
5-
instance PlutusTx.IsData.Class.FromData Plugin.Data.Spec.MyMonoRecord
6-
where {{-# INLINABLE PlutusTx.IsData.Class.fromBuiltinData #-};
7-
PlutusTx.IsData.Class.fromBuiltinData d_2 = let constrFun_3 (!index_4) (!args_5) = case (index_4,
8-
args_5) of
9-
{(((PlutusTx.Eq.==) (0 :: GHC.Num.Integer.Integer) -> GHC.Types.True),
10-
(PlutusTx.Builtins.uncons -> GHC.Internal.Maybe.Just ((PlutusTx.IsData.Class.fromBuiltinData -> GHC.Internal.Maybe.Just arg_6),
11-
(PlutusTx.Builtins.headMaybe -> GHC.Internal.Maybe.Just (PlutusTx.IsData.Class.fromBuiltinData -> GHC.Internal.Maybe.Just arg_7))))) -> GHC.Internal.Maybe.Just (Plugin.Data.Spec.MyMonoRecord arg_6 arg_7);
12-
_ -> GHC.Internal.Maybe.Nothing}
13-
in PlutusTx.Builtins.matchData' d_2 constrFun_3 (GHC.Internal.Base.const GHC.Internal.Maybe.Nothing) (GHC.Internal.Base.const GHC.Internal.Maybe.Nothing) (GHC.Internal.Base.const GHC.Internal.Maybe.Nothing) (GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)}
14-
instance PlutusTx.IsData.Class.UnsafeFromData Plugin.Data.Spec.MyMonoRecord
15-
where {{-# INLINABLE PlutusTx.IsData.Class.unsafeFromBuiltinData #-};
16-
PlutusTx.IsData.Class.unsafeFromBuiltinData d_8 = PlutusTx.Builtins.Internal.casePair (PlutusTx.Builtins.Internal.unsafeDataAsConstr d_8) GHC.Internal.Base.$ (\index_9 args_10 -> PlutusTx.Builtins.Internal.caseInteger index_9 [\case
17-
{(PlutusTx.AsData.Internal.wrapUnsafeUncons -> ((PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_11),
18-
(PlutusTx.Builtins.Internal.head -> (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_12)))) -> Plugin.Data.Spec.MyMonoRecord arg_11 arg_12;
19-
_ -> PlutusTx.Trace.traceError PlutusTx.ErrorCodes.reconstructCaseError}] args_10)}
1+
instance PlutusTx.IsData.Class.ToData Plugin.Data.Spec.MyMonoRecord where
2+
{-# INLINABLE PlutusTx.IsData.Class.toBuiltinData #-}
3+
PlutusTx.IsData.Class.toBuiltinData (Plugin.Data.Spec.MyMonoRecord arg_0 arg_0)
4+
= PlutusTx.Builtins.Internal.mkConstr (0 :: GHC.Num.Integer.Integer)
5+
(PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_0)
6+
(PlutusTx.Builtins.Internal.mkCons (PlutusTx.IsData.Class.toBuiltinData arg_0)
7+
(PlutusTx.Builtins.Internal.mkNilData PlutusTx.Builtins.Internal.unitval)))
8+
instance PlutusTx.IsData.Class.FromData Plugin.Data.Spec.MyMonoRecord where
9+
{-# INLINABLE PlutusTx.IsData.Class.fromBuiltinData #-}
10+
PlutusTx.IsData.Class.fromBuiltinData d_0
11+
= let constrFun_0 !index_0 !args_0 = case (index_0, args_0) of
12+
{( (PlutusTx.Eq.Class.== (0 :: GHC.Num.Integer.Integer) -> (GHC.Types.True))
13+
, (PlutusTx.Builtins.uncons -> (GHC.Internal.Maybe.Just
14+
( (PlutusTx.IsData.Class.fromBuiltinData -> (GHC.Internal.Maybe.Just arg_0))
15+
, (PlutusTx.Builtins.headMaybe -> (GHC.Internal.Maybe.Just
16+
(PlutusTx.IsData.Class.fromBuiltinData -> (GHC.Internal.Maybe.Just arg_0)))) ))) )
17+
= GHC.Internal.Maybe.Just (Plugin.Data.Spec.MyMonoRecord arg_0 arg_0)
18+
_ = GHC.Internal.Maybe.Nothing} in PlutusTx.Builtins.matchData' d_0
19+
constrFun_0
20+
(GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)
21+
(GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)
22+
(GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)
23+
(GHC.Internal.Base.const GHC.Internal.Maybe.Nothing)
24+
instance PlutusTx.IsData.Class.UnsafeFromData Plugin.Data.Spec.MyMonoRecord where
25+
{-# INLINABLE PlutusTx.IsData.Class.unsafeFromBuiltinData #-}
26+
PlutusTx.IsData.Class.unsafeFromBuiltinData
27+
d_0
28+
= (PlutusTx.Builtins.Internal.casePair (PlutusTx.Builtins.Internal.unsafeDataAsConstr d_0))
29+
GHC.Internal.Base.$ (\index_0 args_0 ->
30+
PlutusTx.Builtins.Internal.caseInteger index_0
31+
[ \case
32+
{(PlutusTx.AsData.Internal.wrapUnsafeUncons -> ( (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_0)
33+
, (PlutusTx.Builtins.Internal.head -> (PlutusTx.IsData.Class.unsafeFromBuiltinData -> arg_0)) ))
34+
= Plugin.Data.Spec.MyMonoRecord arg_0 arg_0
35+
_ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.reconstructCaseError} ]
36+
args_0)

0 commit comments

Comments
 (0)