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

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

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