Repository : ssh://[email protected]/ghc On branch : master Link : http://ghc.haskell.org/trac/ghc/changeset/32862bff629a451ce4df58349ebd0a9ca05c8850/ghc
>--------------------------------------------------------------- commit 32862bff629a451ce4df58349ebd0a9ca05c8850 Author: Simon Peyton Jones <[email protected]> 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 _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
