Changes between Version 2 and Version 3 of Commentary/Compiler/FC

Show
Ignore:
Timestamp:
09/14/06 14:50:34 (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Compiler/FC

    v2 v3  
    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/%7Esimonpj/paper/ext-f System F with Type Equality Coercions].  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].  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