Changes between Version 23 and Version 24 of Commentary/Abbreviations


Ignore:
Timestamp:
Jul 9, 2011 1:02:02 AM (3 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v23 v24  
    1111* '''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 
    1212 
    13 * '''CoreFV''': Free variables in core 
     13* '''!CoreFV''': Free variables in core 
    1414 
    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.) 
    1616 
    17 * '''CoreSubst''': Substitution in core 
     17* '''!CoreSubst''': Substitution in core 
    1818 
    19 * '''CoreSyn''': Core abstract syntax 
     19* '''!CoreSyn''': Core abstract syntax 
    2020 
    21 * '''DataCon''': Data constructor 
     21* '''!DataCon''': Data constructor 
    2222 
    2323* '''Ds''': Desugarer 
     
    2929* '''Hsc''': Haskell compiler. Means it Deals with compiling a single module and no more. 
    3030 
    31 * '''HsSyn''': Haskell abstract syntax 
     31* '''!HsSyn''': Haskell abstract syntax 
    3232 
    3333* '''Id''': Synonym for Var, but indicating a term variable 
     
    3535* '''Iface''': Interface, as in Haskell interface (.hi) files 
    3636 
    37 * '''IfaceSyn''': Interface abstract syntax 
     37* '''!IfaceSyn''': Interface abstract syntax 
    3838 
    3939* '''LHs''': Located Haskell something 
     
    4545* '''Lcl''': Local 
    4646 
    47 * '''nativeGen''': Native code generator (generates assembly from Cmm) 
     47* '''!nativeGen''': Native code generator (generates assembly from Cmm) 
    4848 
    4949* '''Occ''': Occurrence 
     
    5252* '''PId''': Package ID 
    5353 
    54 * '''PprCore''': Pretty-printing core 
     54* '''!PprCore''': Pretty-printing core 
    5555 
    5656* '''Rdr''': Parser (or reader) 
     
    6060* '''Rts''': Run Time System 
    6161 
    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) 
    6363 
    64 * '''SrcLoc''': Source location (filename, line number, character position) 
     64* '''!SrcLoc''': Source location (filename, line number, character position) 
    6565 
    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) 
    6767 
    6868* '''Tc''': !TypeCheck{ing,er} 
    6969 
    70 * '''TyCon''': Type constructor 
     70* '''!TyCon''': Type constructor 
    7171 
    72 * '''TyThing''': Something that is type-checkable 
     72* '''!TyThing''': Something that is type-checkable 
    7373 
    7474* '''Ty''': Type 
    7575 
    76 * '''TyVar''': Synonym for Var, but indicating a type variable 
     76* '''!TyVar''': Synonym for Var, but indicating a type variable 
    7777 
    7878* '''Var''': A variable with some information about its type (or kind)