diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-03 09:10:35 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-03 09:20:35 +0100 |
| commit | 32862bff629a451ce4df58349ebd0a9ca05c8850 (patch) | |
| tree | fdcb17dc1139d32b120f854d18546f650b7f0a54 | |
| parent | dfa8ef031c83998c163bb94fb84ff8e02ef86cf8 (diff) | |
| download | haskell-32862bff629a451ce4df58349ebd0a9ca05c8850.tar.gz | |
Comment only
| -rw-r--r-- | compiler/typecheck/TcSMonad.lhs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs index 0b2e484f7a..5674b47ee2 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 |