< GHC(Difference between revisions)
|
|
| (One intermediate revision 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 occuring in the GHC source code, with their expansions. | + | 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. |
| | | | |
| - | ; ANF
| + | 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]. |
| - | : 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)
| + | |
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.
