Test with noinline pragma.

IntersectMBO · May 1, 2023 · 640701e · 640701e
1 parent 2e41ccb
commit 640701e
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
@@ -49,6 +49,7 @@ maybeFun = $$(compile
 trueOrError :: CompiledCode Bool
 trueOrError = $$(compile [|| c True (P.error () :: Bool) ||])
   where
+    {-# NOINLINE c #-}
     c x _ = x
 
 trueOrErrorOpaque :: CompiledCode Bool

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
   )
 )