Personal tools

GHC/List of abbreviations

From HaskellWiki

< GHC(Difference between revisions)
Jump to: navigation, 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 occuring in the GHC source code, with there 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)
 

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.