Changes between Version 3 and Version 4 of Commentary/Compiler/CoreSynType

Show
Ignore:
Timestamp:
09/08/06 08:13:03 (7 years ago)
Author:
duncan
Comment:

that'd be System F I presume.

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Compiler/CoreSynType

    v3 v4  
    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 System FC, and described by our paper [http://research.microsoft.com/~simonpj/papers/ext-f System F with equality coercions].  (Note: the move to FC was done in Autumn 2006, but earlier versions of GHC had a very similar language.) 
     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 System FC, and described by our paper [http://research.microsoft.com/~simonpj/papers/ext-f System F with equality coercions].  (Note: the move to FC was done in Autumn 2006, but earlier versions of GHC had a very similar language.) 
    66 
    77The {{{CoreSyn}}} type, and the functions that operate over it, gets an entire directory [[GhcFile(compiler/coreSyn)]]: