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 occurring 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]
+
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].
 
+
; 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)
+

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.