Skip to content

Deriving-via one-shot strict state Monad instances more things

Rodrigo Mesquita requested to merge wip/romes/strict-state-tweaks into master 
Deriving-via one-shot strict state Monad instances

A small refactor to use deriving via GHC.Utils.Monad.State.Strict
Monad instances for state Monads with unboxed/strict results which all
re-implemented the one-shot trick in the instance and used unboxed
tuples:

* CmmOptM in GHC.Cmm.GenericOpt
* RegM in GHC.CmmToAsm.Reg.Linear.State
* UniqSM in GHC.Types.Unique.Supply
Edited by Rodrigo Mesquita

Merge request reports