Changes between Version 7 and Version 8 of Commentary/Compiler/NameType


Ignore:
Timestamp:
Sep 12, 2006 1:50:58 PM (9 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/NameType

    v7 v8  
    1 [ Up: [wiki:Commentary/Compiler/HscMain] ]
     1
    22
    33= The {{{Name}}} type =
     
    5959
    6060  {{{WiredIn}}}::
    61     A {{{WiredIn}}} {{{Name}}} is a special sort of {{{External}}} {{{Name}}}, one that is completely known to the compiler (e.g. the {{{Bool}}} type constructor).  In this case the {{{Name}}} contains the {{{TyThing}}} that it is bound to; no need for lookups here! 
     61    A {{{WiredIn}}} {{{Name}}} is a special sort of {{{External}}} {{{Name}}}, one that is completely known to the compiler (e.g. the {{{Bool}}} type constructor).  See [wiki:Commentary/Compiler/WiredIn#Wiredinthing].
    6262
    6363  The {{{BuiltInSyntax}}} field is just a boolean yes/no flag that identifies entities that are denoted by built-in syntax, such as {{{[]}}} for the empty list.  These {{{Names}}} aren't "in scope" as such, and we occasionally need to know that.