Add a phantom-type test for deriveEnum (#7499)

Co-authored-by: Nikolaos Bezirgiannis <[email protected]>

Author: bezirg

plutus-tx/test/Enum/Golden/SomeVeryLargePhantom.golden.th

@@ -0,0 +1,53 @@
+instance PlutusTx.Enum.Class.Enum (Enum.Spec.SomeVeryLargePhantom a_0
+                                                                  b_1
+                                                                  c_2
+                                                                  d_3
+                                                                  e_4
+                                                                  f_5
+                                                                  g_6
+                                                                  h_7)
+    where {PlutusTx.Enum.Class.succ (Enum.Spec.P1) = Enum.Spec.P2
+           PlutusTx.Enum.Class.succ (Enum.Spec.P2) = Enum.Spec.P3
+           PlutusTx.Enum.Class.succ (Enum.Spec.P3) = Enum.Spec.P4
+           PlutusTx.Enum.Class.succ (Enum.Spec.P4) = Enum.Spec.P5
+           PlutusTx.Enum.Class.succ (Enum.Spec.P5) = Enum.Spec.P6
+           PlutusTx.Enum.Class.succ (Enum.Spec.P6) = Enum.Spec.P7
+           PlutusTx.Enum.Class.succ (Enum.Spec.P7) = Enum.Spec.P8
+           PlutusTx.Enum.Class.succ (Enum.Spec.P8) = Enum.Spec.P9
+           PlutusTx.Enum.Class.succ (Enum.Spec.P9) = Enum.Spec.P10
+           PlutusTx.Enum.Class.succ (Enum.Spec.P10) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.succBadArgumentError;
+           {-# INLINABLE PlutusTx.Enum.Class.succ #-};
+           PlutusTx.Enum.Class.pred (Enum.Spec.P1) = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.predBadArgumentError
+           PlutusTx.Enum.Class.pred (Enum.Spec.P2) = Enum.Spec.P1
+           PlutusTx.Enum.Class.pred (Enum.Spec.P3) = Enum.Spec.P2
+           PlutusTx.Enum.Class.pred (Enum.Spec.P4) = Enum.Spec.P3
+           PlutusTx.Enum.Class.pred (Enum.Spec.P5) = Enum.Spec.P4
+           PlutusTx.Enum.Class.pred (Enum.Spec.P6) = Enum.Spec.P5
+           PlutusTx.Enum.Class.pred (Enum.Spec.P7) = Enum.Spec.P6
+           PlutusTx.Enum.Class.pred (Enum.Spec.P8) = Enum.Spec.P7
+           PlutusTx.Enum.Class.pred (Enum.Spec.P9) = Enum.Spec.P8
+           PlutusTx.Enum.Class.pred (Enum.Spec.P10) = Enum.Spec.P9;
+           {-# INLINABLE PlutusTx.Enum.Class.pred #-};
+           PlutusTx.Enum.Class.toEnum 0 = Enum.Spec.P1
+           PlutusTx.Enum.Class.toEnum 1 = Enum.Spec.P2
+           PlutusTx.Enum.Class.toEnum 2 = Enum.Spec.P3
+           PlutusTx.Enum.Class.toEnum 3 = Enum.Spec.P4
+           PlutusTx.Enum.Class.toEnum 4 = Enum.Spec.P5
+           PlutusTx.Enum.Class.toEnum 5 = Enum.Spec.P6
+           PlutusTx.Enum.Class.toEnum 6 = Enum.Spec.P7
+           PlutusTx.Enum.Class.toEnum 7 = Enum.Spec.P8
+           PlutusTx.Enum.Class.toEnum 8 = Enum.Spec.P9
+           PlutusTx.Enum.Class.toEnum 9 = Enum.Spec.P10
+           PlutusTx.Enum.Class.toEnum _ = PlutusTx.Trace.traceError PlutusTx.ErrorCodes.toEnumBadArgumentError;
+           {-# INLINABLE PlutusTx.Enum.Class.toEnum #-};
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P1) = 0
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P2) = 1
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P3) = 2
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P4) = 3
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P5) = 4
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P6) = 5
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P7) = 6
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P8) = 7
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P9) = 8
+           PlutusTx.Enum.Class.fromEnum (Enum.Spec.P10) = 9;
+           {-# INLINABLE PlutusTx.Enum.Class.fromEnum #-}}

plutus-tx/test/Enum/Spec.hs

@@ -34,6 +34,20 @@ data SomeVeryLargeEnum
   deriving stock (HS.Eq, HS.Enum, HS.Bounded, HS.Show)
 deriveEnum ''SomeVeryLargeEnum
 
+data SomeVeryLargePhantom a b c d e f g h
+  = P1
+  | P2
+  | P3
+  | P4
+  | P5
+  | P6
+  | P7
+  | P8
+  | P9
+  | P10
+  deriving stock (HS.Eq, HS.Enum, HS.Bounded, HS.Show)
+deriveEnum ''SomeVeryLargePhantom
+
 -- we lack Tx.Bounded so we use Haskell's for the tests
 enumTests :: TestTree
 enumTests =
@@ -45,6 +59,7 @@ enumTests =
         , runTestNested
             ["test", "Enum", "Golden"]
             [ $(goldenCodeGen "SomeVeryLargeEnum" (deriveEnum ''SomeVeryLargeEnum))
+            , $(goldenCodeGen "SomeVeryLargePhantom" (deriveEnum ''SomeVeryLargePhantom))
             , $(goldenCodeGen "Bool" (deriveEnum ''Bool))
             , $(goldenCodeGen "Unit" (deriveEnum ''()))
             ]