Re-add accidentally-deleted line
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 17 Oct 2016 08:23:50 +0000 (09:23 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 17 Oct 2016 08:23:50 +0000 (09:23 +0100)
This adds a line I deleted by mistake in

  commit db71d971379c74dd1d2b958c11dc6c9e718a3e61
  Author: Simon Peyton Jones <simonpj@microsoft.com>
  Date:   Fri Oct 14 17:40:51 2016 +0100

      Reduce trace output slightly

Sorry about that!

compiler/typecheck/TcSMonad.hs

index fa4b169..37740bd 100644 (file)
@@ -3107,7 +3107,8 @@ matchFam tycon args = wrapTcS $ matchFamTcM tycon args
 matchFamTcM :: TyCon -> [Type] -> TcM (Maybe (Coercion, TcType))
 -- Given (F tys) return (ty, co), where co :: F tys ~ ty
 matchFamTcM tycon args
-  = do { let match_fam_result
+  = do { fam_envs <- FamInst.tcGetFamInstEnvs
+       ; let match_fam_result
               = reduceTyFamApp_maybe fam_envs Nominal tycon args
        ; TcM.traceTc "matchFamTcM" $
          vcat [ text "Matching:" <+> ppr (mkTyConApp tycon args)