[commit: ghc] master: Comment only (32862bf)

git at git.haskell.org git at git.haskell.org
Tue Sep 3 10:21:13 CEST 2013


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/32862bff629a451ce4df58349ebd0a9ca05c8850/ghc

>---------------------------------------------------------------

commit 32862bff629a451ce4df58349ebd0a9ca05c8850
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Sep 3 09:10:35 2013 +0100

    Comment only


>---------------------------------------------------------------

32862bff629a451ce4df58349ebd0a9ca05c8850
 compiler/typecheck/TcSMonad.lhs |    1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs
index 0b2e484..5674b47 100644
--- a/compiler/typecheck/TcSMonad.lhs
+++ b/compiler/typecheck/TcSMonad.lhs
@@ -1639,6 +1639,7 @@ matchOpenFam :: TyCon -> [Type] -> TcS (Maybe FamInstMatch)
 matchOpenFam tycon args = wrapTcS $ tcLookupFamInst tycon args
 
 matchFam :: TyCon -> [Type] -> TcS (Maybe (TcCoercion, TcType))
+-- Given (F tys) return (ty, co), where co :: F tys ~ ty
 matchFam tycon args
   | isOpenSynFamilyTyCon tycon
   = do { maybe_match <- matchOpenFam tycon args





More information about the ghc-commits mailing list