| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
GHC.Tc.Gen.Do
Description
Expand Do block statements into (>>=), (>>) and lets
After renaming but right ebefore type checking
Synopsis
- expandDoStmts :: HsDoFlavour -> XRec GhcRn [ExprLStmt GhcRn] -> TcM (HsExpansion GhcRn)
Documentation
expandDoStmts :: HsDoFlavour -> XRec GhcRn [ExprLStmt GhcRn] -> TcM (HsExpansion GhcRn) Source #
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