Changes between Version 8 and Version 9 of Commentary/Compiler/FC


Ignore:
Timestamp:
Jul 23, 2017 5:40:01 AM (2 years ago)
Author:
takenobu
Comment:

Fix broken link

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/FC

    v8 v9  
    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]; 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.
     10You can find a full description of FC in the paper [https://ghc.haskell.org/trac/ghc/wiki/ReadingList#TypeEqualities]; 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