... | ... | @@ -62,7 +62,7 @@ falseDataConName = mkWiredInDataConName UserSyntax gHC_TYPES (fsLit "False") fa |
|
|
trueDataConName = mkWiredInDataConName UserSyntax gHC_TYPES (fsLit "True") trueDataConKey trueDataCon
|
|
|
```
|
|
|
|
|
|
`boolTyConKey`, `falseDataConKey` and `trueDataConKey` are `Unique` values defined earlier. `boolTyCon`, `falseDataCon` and `trueDataCon` are yet undefined. Type of syntax is defined in [compiler/basicTypes/Names.hs](/trac/ghc/browser/ghc/compiler/basicTypes/Names.hs), line 129:
|
|
|
`boolTyConKey`, `falseDataConKey` and `trueDataConKey` are `Unique` values defined earlier. `boolTyCon`, `falseDataCon` and `trueDataCon` are yet undefined. Type of syntax is defined in [compiler/basicTypes/Name.hs](/trac/ghc/browser/ghc/compiler/basicTypes/Name.hs), line 129:
|
|
|
|
|
|
```wiki
|
|
|
data BuiltInSyntax = BuiltInSyntax | UserSyntax
|
... | ... | @@ -117,7 +117,7 @@ mkWiredInDataConName built_in modu fs unique datacon |
|
|
```
|
|
|
|
|
|
|
|
|
The `mkWiredInName` is defined in [compiler/basicTypes/Names.hs](/trac/ghc/browser/ghc/compiler/basicTypes/Names.hs) (lines 279-283), and it just assigns values to fields of `Name`:
|
|
|
The `mkWiredInName` is defined in [compiler/basicTypes/Name.hs](/trac/ghc/browser/ghc/compiler/basicTypes/Name.hs) (lines 279-283), and it just assigns values to fields of `Name`:
|
|
|
|
|
|
```wiki
|
|
|
mkWiredInName :: Module -> OccName -> Unique -> TyThing -> BuiltInSyntax -> Name
|
... | ... | |