HORIZON HASKELLDocslts/ghc-9.14.x7a6c33e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

Moduleghc-9.14.1GHC2021

GHC.Tc.Gen.Do

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

  • 1 value
  • Packageghc-9.14.1
  • 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