[commit: ghc] wip/T10832-generalised-injectivity: Generalized injective type families (332bc0d)

Simon Peyton Jones simonpj at microsoft.com
Wed Dec 23 20:53:24 UTC 2015


Jan

Just to say that I'm working on your D10832 ticket.  I've rebased your patch on HEAD, and pushed it to wip/T10832-generalised-injectivity

I plan some actual work on it tomorrow

Simon

| -----Original Message-----
| From: ghc-commits [mailto:ghc-commits-bounces at haskell.org] On Behalf Of
| git at git.haskell.org
| Sent: 23 December 2015 14:36
| To: ghc-commits at haskell.org
| Subject: [commit: ghc] wip/T10832-generalised-injectivity: Generalized
| injective type families (332bc0d)
| 
| Repository : ssh://git@git.haskell.org/ghc
| 
| On branch  : wip/T10832-generalised-injectivity
| Link       :
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fghc.haskell.o
| rg%2ftrac%2fghc%2fchangeset%2f332bc0d3af0a208ad310ce28cf798d4682423329%2fghc&
| data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c2004c57729e44f345ad008d30ba
| 6867c%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=YoNY2%2fx%2bBqO0FO5DUOLBRp
| uqLlOm5kT%2bIwTXrLZ6Kgs%3d
| 
| >---------------------------------------------------------------
| 
| commit 332bc0d3af0a208ad310ce28cf798d4682423329
| Author: Jan Stolarek <jan.stolarek at p.lodz.pl>
| Date:   Wed Dec 23 10:18:44 2015 +0000
| 
|     Generalized injective type families
| 
|     (As modified onto HEAD, 23 Dec 15)
| 
|     Summary:
|     Generalization of injective type families to match the expressiveness of
|     functional dependencies, as briefly outlined in Section 7 of "Injective
| type
|     families for Haskell" Haskell Symposium 2015 paper.  See also injectivity
| of
|     type C described on the wiki page
|     https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies
| 
|     Test Plan: ./validate
| 
|     Reviewers: simonpj, austin, goldfire, bgamari
| 
|     Subscribers: thomie, mpickering
| 
|     Projects: #ghc
| 
|     Differential Revision: https://phabricator.haskell.org/D1287
| 
|     GHC Trac Issues: #10832
| 
| 
| >---------------------------------------------------------------
| 
| 332bc0d3af0a208ad310ce28cf798d4682423329
|  compiler/deSugar/DsMeta.hs                         | 18 +++++--
|  compiler/hsSyn/Convert.hs                          | 15 ++++--
|  compiler/hsSyn/HsDecls.hs                          | 21 ++++++--
|  compiler/iface/IfaceSyn.hs                         | 18 ++++---
|  compiler/parser/Parser.y                           | 31 +++++++----
|  compiler/prelude/THNames.hs                        | 61 ++++++++++++--------
| --
|  compiler/rename/RnSource.hs                        | 35 +++++++++----
|  compiler/typecheck/FamInst.hs                      | 57 ++++++++++++--------
|  compiler/typecheck/TcInteract.hs                   | 47 +++++++++++------
|  compiler/typecheck/TcSplice.hs                     | 11 ++--
|  compiler/typecheck/TcTyClsDecls.hs                 | 29 +++++++---
|  compiler/typecheck/TcValidity.hs                   | 15 +++---
|  compiler/types/FamInstEnv.hs                       | 27 +++++-----
|  compiler/types/TyCon.hs                            | 11 ++--
|  compiler/types/Unify.hs                            | 15 +++---
|  libraries/ghci/GHCi/TH/Binary.hs                   |  2 +-
|  libraries/template-haskell/Language/Haskell/TH.hs  |  4 +-
|  .../template-haskell/Language/Haskell/TH/Lib.hs    | 10 ++--
|  .../template-haskell/Language/Haskell/TH/Ppr.hs    | 10 ++--
|  .../template-haskell/Language/Haskell/TH/Syntax.hs |  5 +-
|  20 files changed, 285 insertions(+), 157 deletions(-)
| 
| Diff suppressed because of size. To see it, use:
| 
|     git diff-tree --root --patch-with-stat --no-color --find-copies-harder --
| ignore-space-at-eol --cc 332bc0d3af0a208ad310ce28cf798d4682423329
| _______________________________________________
| ghc-commits mailing list
| ghc-commits at haskell.org
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haskell.
| org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
| commits&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c2004c57729e44f345ad
| 008d30ba6867c%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=MrrhJNaC991MpNKtwr
| Tb5cg7H41RAdGxX2c7GWosm5c%3d


More information about the ghc-devs mailing list