Difference between revisions of "GHC/List of abbreviations"
< GHC
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
− | Why expand an abbreviation? It's obvious what it means! Well, sometimes it isn't, so here you go: An incomplete list of abbreviations |
+ | Why expand an abbreviation? It's obvious what it means! Well, sometimes it isn't, so here you go: An incomplete list of abbreviations occurring in the GHC source code, with their expansions. |
− | + | This page has been unified with and moved to a corresponding page in the [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Abbreviations GHC Developer wiki]. |
|
− | |||
− | ; ANF |
||
− | : A-normal form |
||
− | ; Class |
||
− | : type class |
||
− | ; Cmm |
||
− | : C-- (a concrete syntax for a low-level programming language) |
||
− | ; core |
||
− | : core language: System FC (variant of System F). Represents a |
||
− | : type-checked and desugared program in some (out of several) |
||
− | : intermediate compilation step |
||
− | ; CoreFV |
||
− | : free variables in core |
||
− | ; CoreLint |
||
− | : type- and sanity-checking of core. lint: jargon for a program |
||
− | : analysis that looks for bug-suspicious code |
||
− | ; CoreSubst |
||
− | : substitution in core |
||
− | ; CoreSyn |
||
− | : core (cf. there) abstract syntax |
||
− | ; DataCon |
||
− | : data constructor |
||
− | ; Ds |
||
− | : desugar / the desugarer |
||
− | ; Hsc |
||
− | : Haskell compiler |
||
− | ; HsSyn |
||
− | : Haskell abstract syntax (very detailed data type) |
||
− | ; Id |
||
− | : synonym for Var, indicating a term variable |
||
− | ; Iface |
||
− | : interface, as in Haskell interface (.hi) files |
||
− | ; IfaceSyn |
||
− | : interface abstract syntax |
||
− | ; LHs |
||
− | : Located (cf. there) Haskell something |
||
− | ; Located |
||
− | : something annotated with a SrcSpan |
||
− | ; nativeGen |
||
− | : native code generator (generates assembly) |
||
− | ; PId |
||
− | : package ID |
||
− | ; PprCore |
||
− | : pretty-printing core |
||
− | ; rn |
||
− | : rename, renamer |
||
− | ; SimplCore |
||
− | : simplify core (the so-called simplifier belongs to this, as does the |
||
− | : strictness analyser) |
||
− | ; SrcLoc |
||
− | : source location: filename, line number, character position |
||
− | ; SrcSpan |
||
− | : source location span: filename, start line number and character |
||
− | : position, end line number and character position |
||
− | ; Tc |
||
− | : type-check |
||
− | ; TyCon |
||
− | : type constructor |
||
− | ; TyThing |
||
− | : something that is type-checkable |
||
− | ; Ty |
||
− | : type |
||
− | ; TyVar |
||
− | : synonym for Var, indicating a type variable |
||
− | ; Var |
||
− | : a variable with some information about its type (or kind) |
Latest revision as of 01:03, 9 July 2011
Why expand an abbreviation? It's obvious what it means! Well, sometimes it isn't, so here you go: An incomplete list of abbreviations occurring in the GHC source code, with their expansions.
This page has been unified with and moved to a corresponding page in the GHC Developer wiki.