HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduleghc-9.10.3GHC2021

GHC.Tc.Gen.Do

Expand Do block statements into (>>=), (>>) and lets After renaming but right ebefore type checking

  • 1 value
  • Packageghc-9.10.3
  • Exports1
  • LanguageGHC2021
  • LicenceBSD-3-Clause
  • SourceDo.hs
valueexpandDoStmts :: HsDoFlavour -> [ExprLStmt GhcRn] -> TcM (LHsExpr GhcRn)
#

Expand the do-statments into expressions right after renaming so that they can be typechecked. See Note [Expanding HsDo with XXExprGhcRn] below for HsDo specific commentary and Note [Handling overloaded and rebindable constructs] for high level commentary