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


Ignore:
Timestamp:
Sep 11, 2006 1:52:29 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/CoreSynType

    v5 v6  
    1 [ Up: [wiki:Commentary/Compiler/HscMain] ] 
     1 
    22 
    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.  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)]]: 
     
    5151 * {{{Case}}} expressions need [wiki:Commentary/Compiler/CoreSynType#Caseexpressions more explanation]. 
    5252 
    53  * {{{Cast}}} is used for an FC cast expression.  {{{Corecion}}} is a synonym for {{{Type}}}. 
     53 * {{{Cast}}} is used for an [wiki:Commentary/Compiler/FC FC cast expression].  {{{Corecion}}} is a synonym for {{{Type}}}. 
    5454 
    5555 * {{{Note}}} is used for profiling and debugging information.