GHC/List of abbreviations
Jump to navigation
Jump to search
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.
- 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)