[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