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


Ignore:
Timestamp:
Sep 11, 2006 1:52:29 PM (9 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.