Changes between Version 27 and Version 28 of Commentary/Abbreviations


Ignore:
Timestamp:
Dec 1, 2011 4:02:08 PM (4 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v27 v28  
    1111* '''Core''': GHC core language. Based on System FC (variant of System F). Represents a type-checked and desugared program in some (out of several) intermediate compilation step
    1212
    13 * '''!CoreFV''': Free variables in core
     13* '''CoreFV''': Free variables in core
    1414
    1515* '''!CoreLint''': Type and sanity-checking of core. (Lint: Jargon for a program analysis that looks for bug-suspicious code.)