Changes between Version 23 and Version 24 of Commentary/Abbreviations
- Timestamp:
- 07/08/11 18:02:02 (23 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Commentary/Abbreviations
v23 v24 11 11 * '''Core''': GHC core language. Based on System FC (variant of System F). Represents a type-checked and desugared program in some (out of several) intermediate compilation step 12 12 13 * ''' CoreFV''': Free variables in core13 * '''!CoreFV''': Free variables in core 14 14 15 * ''' CoreLint: Type and sanity-checking of core. (Lint: Jargon for a program analysis that looks for bug-suspicious code.)15 * '''!CoreLint: Type and sanity-checking of core. (Lint: Jargon for a program analysis that looks for bug-suspicious code.) 16 16 17 * ''' CoreSubst''': Substitution in core17 * '''!CoreSubst''': Substitution in core 18 18 19 * ''' CoreSyn''': Core abstract syntax19 * '''!CoreSyn''': Core abstract syntax 20 20 21 * ''' DataCon''': Data constructor21 * '''!DataCon''': Data constructor 22 22 23 23 * '''Ds''': Desugarer … … 29 29 * '''Hsc''': Haskell compiler. Means it Deals with compiling a single module and no more. 30 30 31 * ''' HsSyn''': Haskell abstract syntax31 * '''!HsSyn''': Haskell abstract syntax 32 32 33 33 * '''Id''': Synonym for Var, but indicating a term variable … … 35 35 * '''Iface''': Interface, as in Haskell interface (.hi) files 36 36 37 * ''' IfaceSyn''': Interface abstract syntax37 * '''!IfaceSyn''': Interface abstract syntax 38 38 39 39 * '''LHs''': Located Haskell something … … 45 45 * '''Lcl''': Local 46 46 47 * ''' nativeGen''': Native code generator (generates assembly from Cmm)47 * '''!nativeGen''': Native code generator (generates assembly from Cmm) 48 48 49 49 * '''Occ''': Occurrence … … 52 52 * '''PId''': Package ID 53 53 54 * ''' PprCore''': Pretty-printing core54 * '''!PprCore''': Pretty-printing core 55 55 56 56 * '''Rdr''': Parser (or reader) … … 60 60 * '''Rts''': Run Time System 61 61 62 * ''' SimplCore''': Simplify core (the so-called simplifier belongs to this, as does the strictness analyser)62 * '''!SimplCore''': Simplify core (the so-called simplifier belongs to this, as does the strictness analyser) 63 63 64 * ''' SrcLoc''': Source location (filename, line number, character position)64 * '''!SrcLoc''': Source location (filename, line number, character position) 65 65 66 * ''' SrcSpan''': Source location span (filename, start line number and character position, end line number and character position)66 * '''!SrcSpan''': Source location span (filename, start line number and character position, end line number and character position) 67 67 68 68 * '''Tc''': !TypeCheck{ing,er} 69 69 70 * ''' TyCon''': Type constructor70 * '''!TyCon''': Type constructor 71 71 72 * ''' TyThing''': Something that is type-checkable72 * '''!TyThing''': Something that is type-checkable 73 73 74 74 * '''Ty''': Type 75 75 76 * ''' TyVar''': Synonym for Var, but indicating a type variable76 * '''!TyVar''': Synonym for Var, but indicating a type variable 77 77 78 78 * '''Var''': A variable with some information about its type (or kind)
