Changes between Version 6 and Version 7 of Commentary/Compiler/EntityTypes


Ignore:
Timestamp:
Sep 14, 2006 8:17:37 PM (9 years ago)
Author:
nr
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/EntityTypes

    v6 v7  
    7878}}}
    7979
    80  {{{GlobalId}}}:: is used for fixed, immutable, top-level term variables, notably ones that are imported from other modules.
     80 {{{GlobalId}}}:: is used for fixed, immutable, top-level term variables, notably ones that are imported from other modules.  This means that, for example, the optimizer won't change its properties.
    8181 * Always has an {{{External}}} or {{{WiredIn}}} [wiki:Commentary/Compiler/NameType Name], and hence has a {{{Unique}}} that is globally unique across the whole of a GHC invocation.
    8282 * Always bound at top level.