Changes between Version 28 and Version 29 of InjectiveTypeFamilies


Ignore:
Timestamp:
Jan 13, 2017 10:59:55 AM (3 years ago)
Author:
jstolarek
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InjectiveTypeFamilies

    v28 v29  
    22
    33This page summarizes the design of injective type families (#6018).
    4 Implementation discussion and progress was recorded in
    5 [[https://phabricator.haskell.org/D202|Phab D202]].
    64
    75Injective type families have been merged into HEAD in September 2015 and became available in GHC 8.0 with the `TypeFamilyDependencies` language extension.
     6
     7There are plans to further extend implementation of injective type families to
     8match the expressive power of functional dependencies.  The work was started in
     9September 2015 but later stalled and was left unfinished.  Partial
     10implementation is available as  Phab:D1287 and on the
     11wip/T10832-generalised-injectivity branch. The relevant Trac ticket is
     12#10832. See
     13[[https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies#TypeCinjectivityaka.generalizedinjectivity|this
     14section below]] for more details.
     15
     16Other tickets related to further development of injective type families: #10833, #11511.
    817
    918Person responsible for this page is Jan Stolarek (just so you now who is meant
     
    268277  * `Note [Type inference for type families with injectivity]` in [[GhcFile(compiler/typecheck/TcInteract.hs)]]
    269278
     279Implementation discussion and progress was recorded in
     280[[https://phabricator.haskell.org/D202|Phab D202]]. That patch is now fully merged and given here only for historical purposes.
    270281
    271282== Injectivity for poly-kinded type families