Skip to content

Declare TcS and RewriteM monads to be oneShot

Recently we have been adding oneShot to many of the State-like monads in GHC (see Note [the one-shot state monad trick] in GHC.Utils.Monad) and #18202. We should do the same for TcS and RewriteM.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information