Test with strict pragma.

IntersectMBO · May 2, 2023 · c09ba19 · c09ba19
1 parent c63b42e
commit c09ba19
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 2 deletions.
diff --git a/plutus-tx-plugin/test/Optimization/Spec.hs b/plutus-tx-plugin/test/Optimization/Spec.hs
@@ -3,6 +3,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE Strict                #-}
 {-# LANGUAGE TemplateHaskell       #-}
 {-# LANGUAGE TypeApplications      #-}
 {-# OPTIONS_GHC -fplugin PlutusTx.Plugin #-}

diff --git a/plutus-tx-plugin/test/Optimization/trueOrError.plc.golden b/plutus-tx-plugin/test/Optimization/trueOrError.plc.golden
@@ -1 +1,7 @@
-(program 1.1.0 (delay (lam case_True_i0 (lam case_False_i0 case_True_i2))))
+(program
+  1.1.0
+  [
+    (lam ds_i0 (delay (lam case_True_i0 (lam case_False_i0 case_True_i2))))
+    (error )
+  ]
+)
diff --git a/plutus-tx-plugin/test/Optimization/trueOrErrorEval.plc.golden b/plutus-tx-plugin/test/Optimization/trueOrErrorEval.plc.golden
@@ -1 +1 @@
-(delay (lam case_True_0 (lam case_False_1 case_True_0)))
+Failure
diff --git a/plutus-tx-plugin/test/Optimization/trueOrErrorPir.plc.golden b/plutus-tx-plugin/test/Optimization/trueOrErrorPir.plc.golden
@@ -10,6 +10,10 @@
         (vardecl True Bool) (vardecl False Bool)
       )
     )
+    (datatypebind
+      (datatype (tyvardecl Unit (type))  Unit_match (vardecl Unit Unit))
+    )
+    (termbind (strict) (vardecl ds Bool) (error Bool))
     True
   )
 )