• simonpj's avatar
    [project @ 1999-01-27 14:51:14 by simonpj] · 18976e61
    simonpj authored
    Finally!  This commits the ongoing saga of Simon's hygiene sweep
    
    FUNCTIONALITY
    ~~~~~~~~~~~~~
    a) The 'unused variable' warnings from the renamer work.  
    b) Better error messages here and there, esp type checker
    c) Fixities for Haskell 98 (maybe I'd done that before)
    d) Lazy reporting of name clashes for Haskell 98 (ditto)
    
    HYGIENE
    ~~~~~~~
    a) type OccName has its own module.  OccNames are represented
       by a single FastString, not three as in the last round.  This
       string is held in Z-encoded form; a decoding function decodes
       for printing in user error messages.  There's a nice tight
       encoding for (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)
    
    b) type Module is a proper ADT, in module OccName
    
    c) type RdrName is a proper ADT, in its own module
    
    d) type Name has a new, somwhat tidier, representation
    
    e) much grunting in the renamer to get Provenances right.
       This makes error messages look better (no spurious qualifiers)
    18976e61
RtsAPI.c 7.68 KB