diff options
| author | Austin Seipp <austin@well-typed.com> | 2015-06-01 03:45:11 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2015-06-01 03:45:16 -0500 |
| commit | f5b43ce177e40a34afb1913bc0ec866185ed95d7 (patch) | |
| tree | 1eb7494855b4e4121e25812fe384461a4a8fb806 | |
| parent | a52f1444ea4045a2075dc88bb973a9289ee7e2cf (diff) | |
| download | haskell-f5b43ce177e40a34afb1913bc0ec866185ed95d7.tar.gz | |
compiler/specialise: shut match_co up a bit
This stray pprTrace is quite annoying and makes our build logs a bit
bigger (hundreds of lines of occurrences), so we should probably just
get rid of it. Kept under DEBUG for future brave hackers.
Signed-off-by: Austin Seipp <austin@well-typed.com>
Reviewed By: thomie, nomeata
Differential Revision: https://phabricator.haskell.org/D934
| -rw-r--r-- | compiler/specialise/Rules.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/compiler/specialise/Rules.hs b/compiler/specialise/Rules.hs index e6e5359f5a..3601253e41 100644 --- a/compiler/specialise/Rules.hs +++ b/compiler/specialise/Rules.hs @@ -733,9 +733,13 @@ match_co renv subst (TyConAppCo r1 tc1 cos1) co2 | r1 == r2 && tc1 == tc2 -> match_cos renv subst cos1 cos2 _ -> Nothing -match_co _ _ co1 co2 - = pprTrace "match_co: needs more cases" (ppr co1 $$ ppr co2) Nothing +match_co _ _ _co1 _co2 -- Currently just deals with CoVarCo, TyConAppCo and Refl +#ifdef DEBUG + = pprTrace "match_co: needs more cases" (ppr _co1 $$ ppr _co2) Nothing +#else + = Nothing +#endif match_cos :: RuleMatchEnv -> RuleSubst |