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


Ignore:
Timestamp:
Sep 14, 2006 9:50:34 PM (9 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