Remove bad debugging output.
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Wed, 11 Jul 2018 02:00:36 +0000 (22:00 -0400)
committerRichard Eisenberg <rae@cs.brynmawr.edu>
Wed, 11 Jul 2018 02:00:36 +0000 (22:00 -0400)
The removed line could cause GHC to hang by printing a
knot-tied type.

compiler/typecheck/TcHsType.hs

index 6039eea..1b3ae90 100644 (file)
@@ -977,7 +977,6 @@ tcInferApps mode mb_kind_info orig_hs_ty fun_ty fun_ki orig_hs_args
            ; arg' <- addErrCtxt (funAppCtxt orig_hs_ty arg n) $
                      tc_lhs_type mode arg exp_kind
            ; traceTc "tcInferApps (vis 1)" (vcat [ ppr exp_kind
-                                                 , ppr arg'
                                                  , ppr (typeKind arg') ])
            ; let subst' = extendTvSubstBinderAndInScope subst ki_binder arg'
            ; go (n+1) (arg' : acc_args) subst'