Changes between Version 4 and Version 5 of Commentary/Compiler/NameType

Timestamp:

09/08/06 04:14:03 (7 years ago)

Author:

simonpj

Comment:

--

Commentary/Compiler/NameType

@@ -1 +1 @@
 [ Up: [wiki:Commentary/Compiler/HscMain] ]
 
-= The {{{Name}}} and {{{OccName}}} types =
+= The {{{Name}}} type =
 
 Every entity (type constructor, class, identifier, type variable) has a {{{Name}}}. The Name type is pervasive in GHC, and is defined in [[GhcFile(compiler/basicTypes/Name.lhs)]]. Here is what a {{{Name}}} looks like, though it is private to the Name module:
@@ -13 +13 @@
 }}}
  * The {{{n_sort}}} field says what sort of name this is: see [wiki:#NameSort] below. 
- * The {{{n_occ}}} field gives the "occurrence name" of the Name; see OccName below. 
+ * The {{{n_occ}}} field gives the "occurrence name", or '''[wiki:Commentary/Compiler/RdrName#TheOccNametype OccName]''', of the Name.
  * The {{{n_uniq}}} field allows fast tests for equality of Names. 
  * The {{{n_loc}}} field gives some indication of where the name was bound. 
@@ -76 +76 @@
 
 
-== Occurrence names: {{{OccName}}} == 
-
-An {{{OccName}}} is more-or-less just a string, like "foo" or "Tree", giving the (unqualified) name of an entity. 
-Well, not quite just a string, because in Haskell a name like "C" could mean a type constructor or data constructor, depending on context. So GHC defines a type OccName (defined in basicTypes/OccName.lhs) that is a pair of a {{{FastString}}} and a {{{NameSpace}}} indicating which name space the name is drawn from. The data type is defined (abstractly) in [[GhcFile(compiler/basicTypes/OccName.lhs)]]:
-{{{
-data OccName = OccName NameSpace EncodedFS
-}}}
-The {{{EncodedFS}}} is a synonym for {{{FastString}}} indicating that the string is Z-encoded. (Details in [[GhcFile(compiler/basicTypes/OccName.lhs)]].) Z-encoding encodes funny characters like '%' and '$' into alphabetic characters, like "zp" and "zd", so that they can be used in object-file symbol tables without confusing linkers and suchlike. 
-
-The name spaces are: 
-
-{{{
-data NameSpace = VarName        -- Variables, including "source" data constructors
-               | DataName       -- "Real" data constructors 
-               | TvName         -- Type variables
-               | TcClsName      -- Type constructors and classes; Haskell has them
-                                -- in the same name space for now.
-}}}
-