Changes between Version 1 and Version 2 of Commentary/Compiler/TcRnMonad


Ignore:
Timestamp:
Apr 13, 2012 7:02:48 PM (3 years ago)
Author:
danbst
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TcRnMonad

    v1 v2  
    99  * [[GhcFile(compiler/typecheck/DsMonad)]]: specialises the {{{TcRnIf}}} monad for the desugarer.
    1010
    11 The typechecker and renamer use ''exactly'' the same monad, {{{TcRn}}}; the desugarer and interface-file checker use differnt instantiations of {{{TcRnIf}}}.  To give you the idea, here is how the {{{TcRn}}} monad looks:
     11The 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:
    1212{{{
    1313type TcRn a       = TcRnIf TcGblEnv TcLclEnv a