Certifier for LetFloatOut pass (#7753)

Author: basetunnel

plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Transform/Certify/Trace.hs

@@ -27,6 +27,7 @@ data CertifiedOptStage
   | CSE
   | ApplyToCase
   | CaseReduce
+  | LetFloatOut
   deriving stock (Show, Generic)
   deriving anyclass (NFData)
 
@@ -42,7 +43,6 @@ corresponding constructor to this type. Please also open an issue
 at https://github.com/IntersectMBO/plutus/issues. -}
 data UncertifiedOptStage
   = CaseOfCase
-  | LetFloatOut
   deriving stock (Show, Generic)
   deriving anyclass (NFData)
 
@@ -73,7 +73,7 @@ pattern CaseOfCaseStage :: OptStage
 pattern CaseOfCaseStage = Left CaseOfCase
 
 pattern LetFloatOutStage :: OptStage
-pattern LetFloatOutStage = Left LetFloatOut
+pattern LetFloatOutStage = Right LetFloatOut
 
 {-# COMPLETE
   FloatDelayStage

plutus-core/untyped-plutus-core/test/Transform/basic.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --

plutus-core/untyped-plutus-core/test/Transform/basicInline.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --

plutus-core/untyped-plutus-core/test/Transform/callsiteInline.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --

plutus-core/untyped-plutus-core/test/Transform/extraDelays.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --

plutus-core/untyped-plutus-core/test/Transform/floatDelay1.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --

plutus-core/untyped-plutus-core/test/Transform/floatDelay2.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --

plutus-core/untyped-plutus-core/test/Transform/floatDelay3.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --

plutus-core/untyped-plutus-core/test/Transform/forceCaseDelayNoApps1.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --

plutus-core/untyped-plutus-core/test/Transform/forceCaseDelayNoApps2.golden.certifier-hints

@@ -4,7 +4,7 @@ NoHints
 -- Certifier hints #2 (Right ForceCaseDelay) --
 NoHints
 
--- Certifier hints #3 (Left LetFloatOut) --
+-- Certifier hints #3 (Right LetFloatOut) --
 NoHints
 
 -- Certifier hints #4 (Right ForceDelay) --