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


Ignore:
Timestamp:
Jan 22, 2011 10:05:17 PM (3 years ago)
Author:
megacz
Comment:

warn people that they need Appendix C

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/FC

    v5 v6  
    88But that is inadequate to describe GADTs and associated types.  So in 2006 we extended GHC to support System FC, which adds 
    99 * equality constraints and coercions 
    10 You can find a full description of FC in the paper [http://research.microsoft.com/~simonpj/papers/ext-f].  The notes that follow sketch the implementation of FC in GHC, but without duplicating the contents of the paper. 
     10You can find a full description of FC in the paper [http://research.microsoft.com/~simonpj/papers/ext-f]; note that GHC uses the system described in post-publication Appendix C, not the system in the main body of the paper.  The notes that follow sketch the implementation of FC in GHC, but without duplicating the contents of the paper. 
    1111 
    1212A coercion `c`, is a type-level term, with a kind of the