Changes between Version 6 and Version 7 of Commentary/Compiler/CoreSynType


Ignore:
Timestamp:
Sep 14, 2006 8:32:58 PM (9 years ago)
Author:
nr
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/CoreSynType

    v6 v7  
    33= The {{{Core}}} type = 
    44 
    5 The Core language is GHC's central data types.  Core is a very small, explicitly-typed, variant of System.  The exact variant is called [wiki:Commentary/Compiler/FC System FC], which embodies equality constraints and coercions. 
     5The Core language is GHC's central data types.  Core is a very small, explicitly-typed, variant of System F.  The exact variant is called [wiki:Commentary/Compiler/FC System FC], which embodies equality constraints and coercions. 
    66 
    77The {{{CoreSyn}}} type, and the functions that operate over it, gets an entire directory [[GhcFile(compiler/coreSyn)]]: