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@haskell.org] On Behalf Of
| git@git.haskell.org
| Sent: 23 December 2015 14:36
| To: ghc-commits@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....
| 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
| 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@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
