diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-25 11:52:44 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-25 12:04:31 +0100 |
| commit | a434bcbc8049f3f98a1312f3001c93d415b5c4ae (patch) | |
| tree | 7f49a7e1969206990ff96c3ec09a37d61444b5bf /compiler/typecheck/FunDeps.hs | |
| parent | 857ef25e3b077ac1cdf54e2e6f7adf9a1c83a31e (diff) | |
| download | haskell-a434bcbc8049f3f98a1312f3001c93d415b5c4ae.tar.gz | |
tc-tracing only
Diffstat (limited to 'compiler/typecheck/FunDeps.hs')
| -rw-r--r-- | compiler/typecheck/FunDeps.hs | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/compiler/typecheck/FunDeps.hs b/compiler/typecheck/FunDeps.hs index c8f0b1deef..4052ccbbe4 100644 --- a/compiler/typecheck/FunDeps.hs +++ b/compiler/typecheck/FunDeps.hs @@ -283,7 +283,14 @@ improveClsFD clas_tvs fd -> [] | otherwise - -> [(meta_tvs, fdeqs)] + -> -- pprTrace "iproveClsFD" (vcat + -- [ text "is_tvs =" <+> ppr qtvs + -- , text "tys_inst =" <+> ppr tys_inst + -- , text "tys_actual =" <+> ppr tys_actual + -- , text "ltys1 =" <+> ppr ltys1 + -- , text "ltys2 =" <+> ppr ltys2 + -- , text "subst =" <+> ppr subst ]) $ + [(meta_tvs, fdeqs)] -- We could avoid this substTy stuff by producing the eqn -- (qtvs, ls1++rs1, ls2++rs2) -- which will re-do the ls1/ls2 unification when the equation is |