Changes between Version 4 and Version 5 of Commentary/Compiler/TcRnMonad


Ignore:
Timestamp:
May 18, 2018 6:13:30 AM (15 months ago)
Author:
dminuoso
Comment:

Properly refer to deSugar/DsMonad.hs

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TcRnMonad

    v4 v5  
    77  * [[GhcFile(compiler/typecheck/TcRnTypes.hs)]]: builds the {{{TcRnIf}}} monad on top of {{{IOEnv}}}:
    88  * [[GhcFile(compiler/typecheck/TcRnMonad.hs)]]: defines lots of access functions for the renamer, typechecker, and interface typechecker.
    9   * [[GhcFile(compiler/typecheck/DsMonad)]]: specialises the {{{TcRnIf}}} monad for the desugarer.
     9  * [[GhcFile(compiler/deSugar/DsMonad.hs)]]: specialises the {{{TcRnIf}}} monad for the desugarer.
    1010
    1111The typechecker and renamer use ''exactly'' the same monad, {{{TcRn}}}; the desugarer and interface-file checker use different instantiations of {{{TcRnIf}}}.  To give you the idea, here is how the {{{TcRn}}} monad looks: