Fusion.StepFun should be a newtype

fogti

Aug 22, 2024, 3:05 PM

PP3XLPBKQZT7FNDWA7IPT6URFAUS2WWWONDKH2ZVAK4Q7ER5P6DQC

Dependencies

• [2] 6XMVEBZA add simple stuff (e.g. haskell basics)
• [3] G64LUZSX Fusion: actually implement list rewrite rule

Change contents

• replacement in core/lib/GardGround/Utils/Fusion.hs at line 39
  [2.2608]→[2.2608:2651](∅→∅)
  − data StepFun s a = StepFun (s -> Step s a)
  [2.2608]

  [2.2651]
  + newtype StepFun s a = StepFun (s -> Step s a)