GHC/List of abbreviations
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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)