Context Navigation

NameType

v8	v9
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). See [wiki:Commentary/Compiler/WiredIn~~#Wiredinthing~~].
	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].
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.
…	…
67	67	Here are the sorts of Name an entity can have:
68	68
69		* Class, !TyCon: Always have {{{External}}} or {{{WiredIn}}} Names.
	69	* Class: always has an {{{External}}} Names.
	70
	71	* TyCon: always has an {{{External}}} or {{{WiredIn}}} Name.
70	72
71	73	* !TyVar: can have {{{Internal}}}, or {{{System}}} Names; the former are ones arise from instantiating programmer-written type signatures.