Changes between Version 23 and Version 24 of Commentary/Abbreviations


Ignore:
Timestamp:
Jul 9, 2011 1:02:02 AM (4 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)