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


Ignore:
Timestamp:
Oct 26, 2006 2:50:29 PM (7 years ago)
Author:
kris@…
Comment:

s/wike/wiki/

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Renamer

    v4 v5  
    3333 * Lots of lexical error checking: variables out of scope, unused bindings, unused imports, patterns that use the same binder many times, etc. 
    3434 
    35 The renamer sits between the parser and the typechecker. However, its operation is quite tightly interwoven with the typechecker. This is mainly due to support for Template Haskell, where spliced code has to be renamed and type checked. In particular, top-level splices lead to multiple rounds of renaming and type checking.  It uses the [wike:Commentary/Compiler/TcRnMonad same monad as the typechecker]. 
     35The renamer sits between the parser and the typechecker. However, its operation is quite tightly interwoven with the typechecker. This is mainly due to support for Template Haskell, where spliced code has to be renamed and type checked. In particular, top-level splices lead to multiple rounds of renaming and type checking.  It uses the [wiki:Commentary/Compiler/TcRnMonad same monad as the typechecker]. 
    3636 
    3737== The global renamer environment, {{{GlobalRdrEnv}}} ==