[commit: ghc] overlapping-tyfams: Fixed tcApartTys to work; changed "singleton" to "unbranched". (29193cd)
Richard Eisenberg <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : overlapping-tyfams http://hackage.haskell.org/trac/ghc/changeset/29193cde8ce482db9e0dcec5a704ac3dc890285c >--------------------------------------------------------------- commit 29193cde8ce482db9e0dcec5a704ac3dc890285c Author: Richard Eisenberg <[email protected]> Date: Fri Dec 21 10:28:09 2012 -0500 Fixed tcApartTys to work; changed "singleton" to "unbranched". compiler/basicTypes/MkId.lhs | 20 +- compiler/typecheck/TcBinds.lhs | 2 +- compiler/typecheck/TcDeriv.lhs | 4 +- compiler/typecheck/TcEvidence.lhs | 6 +- compiler/typecheck/TcExpr.lhs | 4 +- compiler/typecheck/TcForeign.lhs | 2 +- compiler/typecheck/TcPat.lhs | 2 +- compiler/types/CoAxiom.lhs | 54 +++++- compiler/types/Coercion.lhs | 16 +- compiler/types/FamInstEnv.lhs | 24 ++- compiler/types/Unify.lhs | 216 +++++++++++---------- compiler/vectorise/Vectorise/Generic/PAMethods.hs | 12 +- compiler/vectorise/Vectorise/Utils/PADict.hs | 4 +- 13 files changed, 209 insertions(+), 157 deletions(-) Diff suppressed because of size. To see it, use: git show 29193cde8ce482db9e0dcec5a704ac3dc890285c