Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/cd51b9ca85c095ea894568b1ca1eb0c8ad4b6f56 >--------------------------------------------------------------- commit cd51b9ca85c095ea894568b1ca1eb0c8ad4b6f56 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Mon Oct 22 09:10:48 2012 +0100 In lookupFlatEqn, look in the flat-cache *last* The other places (solved fun-eqs and inerts) are more productive. >--------------------------------------------------------------- compiler/typecheck/TcSMonad.lhs | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs index 576df10..78fb0bf 100644 --- a/compiler/typecheck/TcSMonad.lhs +++ b/compiler/typecheck/TcSMonad.lhs @@ -876,8 +876,8 @@ lookupFlatEqn fam_ty , inert_flat_cache = flat_cache , inert_cans = IC { inert_funeqs = inert_funeqs } } <- getTcSInerts ; return (lookupFamHead solved_funeqs fam_ty `firstJust` - lookupFamHead flat_cache fam_ty `firstJust` - lookup_in_inerts inert_funeqs) } + lookup_in_inerts inert_funeqs `firstJust` + lookupFamHead flat_cache fam_ty) } where lookup_in_inerts inert_funeqs = case lookupFamHead inert_funeqs fam_ty of _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
