Personal tools

GHC/List of abbreviations

From HaskellWiki

< GHC(Difference between revisions)
Jump to: navigation, 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 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 occuring in the GHC source code, with their expansions.
  +
  +
See also: A similar list on the [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Abbreviations GHC Developer wiki]
   
 
; ANF
 
; ANF

Revision as of 06:03, 18 January 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 occuring in the GHC source code, with their expansions.

See also: A similar list on the 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)