Changes between Version 7 and Version 8 of Commentary/Compiler/NameType
- Timestamp:
- 09/12/06 06:50:58 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Commentary/Compiler/NameType
v7 v8 1 [ Up: [wiki:Commentary/Compiler/HscMain] ] 1 2 2 3 3 = The {{{Name}}} type = … … 59 59 60 60 {{{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]. 62 62 63 63 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.
