[Test] [Builtins] Add golden tests with unlifting errors (#6189)

This refactors a file with tests so that unit tests that are supposed to result in evaluation failure also become golden tests with the error message printed to a golden file. Need it to demonstrate that #6181 does indeed allow us to preserve operational unlifting errors.
IntersectMBO · Aug 6, 2024 · c6bd1c2 · c6bd1c2
1 parent 840ecce
commit c6bd1c2
Show file tree

Hide file tree

Showing 7 changed files with 235 additions and 166 deletions.
diff --git a/plutus-core/plutus-core/src/PlutusCore/Builtin/HasConstant.hs b/plutus-core/plutus-core/src/PlutusCore/Builtin/HasConstant.hs
@@ -45,12 +45,12 @@ class HasConstant term where
 type HasConstantIn uni term = (UniOf term ~ uni, HasConstant term)
 
 -- | Wrap a Haskell value (given its explicit type tag) as a @term@.
-fromValueOf :: HasConstant term => UniOf term (Esc a) -> a -> term
+fromValueOf :: forall a term. HasConstant term => UniOf term (Esc a) -> a -> term
 fromValueOf uni = fromConstant . someValueOf uni
 {-# INLINE fromValueOf #-}
 
 -- | Wrap a Haskell value (provided its type is in the universe) as a @term@.
-fromValue :: (HasConstant term, UniOf term `HasTermLevel` a) => a -> term
+fromValue :: forall a term. (HasConstant term, UniOf term `HasTermLevel` a) => a -> term
 fromValue = fromValueOf knownUni
 {-# INLINE fromValue #-}
 

diff --git a/plutus-core/untyped-plutus-core/test/Evaluation/Builtins/Definition.hs b/plutus-core/untyped-plutus-core/test/Evaluation/Builtins/Definition.hs
diff --git a/...s-core/untyped-plutus-core/test/Evaluation/Builtins/Golden/List/headList-empty.err.golden b/...s-core/untyped-plutus-core/test/Evaluation/Builtins/Golden/List/headList-empty.err.golden
@@ -0,0 +1,3 @@
+An error has occurred:
+The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
+Caused by: (force headList [])
diff --git a/...s-core/untyped-plutus-core/test/Evaluation/Builtins/Golden/List/tailList-empty.err.golden b/...s-core/untyped-plutus-core/test/Evaluation/Builtins/Golden/List/tailList-empty.err.golden
@@ -0,0 +1,3 @@
+An error has occurred:
+The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
+Caused by: (force tailList [])
diff --git a/...plutus-core/test/Evaluation/Builtins/Golden/String/consByteString-out-of-range.err.golden b/...plutus-core/test/Evaluation/Builtins/Golden/String/consByteString-out-of-range.err.golden
@@ -0,0 +1,3 @@
+An error has occurred:
+The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
+Caused by: (consByteString 256 #68656c6c6f20776f726c64)
diff --git a/...ore/test/Evaluation/Builtins/Golden/String/indexByteString-out-of-bounds-empty.err.golden b/...ore/test/Evaluation/Builtins/Golden/String/indexByteString-out-of-bounds-empty.err.golden
@@ -0,0 +1,3 @@
+An error has occurred:
+The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
+Caused by: (indexByteString # 0)
diff --git a/...test/Evaluation/Builtins/Golden/String/indexByteString-out-of-bounds-non-empty.err.golden b/...test/Evaluation/Builtins/Golden/String/indexByteString-out-of-bounds-non-empty.err.golden
@@ -0,0 +1,3 @@
+An error has occurred:
+The machine terminated because of an error, either from a built-in function or from an explicit use of 'error'.
+Caused by: (indexByteString #68656c6c6f20776f726c64 12)