Changes between Version 9 and Version 10 of Commentary/Compiler/NameType


Ignore:
Timestamp:
Sep 12, 2006 1:52:59 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/NameType

    v9 v10  
    6969 * Class: always has an {{{External}}} Names.  
    7070 
    71  * TyCon: always has an {{{External}}} or {{{WiredIn}}} Name.  
     71 * !TyCon: always has an {{{External}}} or {{{WiredIn}}} Name.  
    7272 
    7373 * !TyVar: can have {{{Internal}}}, or {{{System}}} Names; the former are ones arise from instantiating programmer-written type signatures.