Difference between revisions of "GHC/List of abbreviations"
< GHC
Jump to navigation
Jump to search
| (2 intermediate revisions by 2 users not shown) | |||
| 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.