Repository : ssh://[email protected]/ghc On branch : type-nats-simple Link : http://ghc.haskell.org/trac/ghc/changeset/2a025e0449aab81c5370b395a6bc2fcb3c96bc1e/ghc
>--------------------------------------------------------------- commit 2a025e0449aab81c5370b395a6bc2fcb3c96bc1e Author: Iavor S. Diatchki <[email protected]> Date: Sun Sep 8 22:41:03 2013 -0700 Fix coercion optimization for axiom rules. >--------------------------------------------------------------- 2a025e0449aab81c5370b395a6bc2fcb3c96bc1e compiler/types/OptCoercion.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/types/OptCoercion.lhs b/compiler/types/OptCoercion.lhs index 1a06445..f63ca38 100644 --- a/compiler/types/OptCoercion.lhs +++ b/compiler/types/OptCoercion.lhs @@ -228,8 +228,9 @@ opt_co' env sym _ (SubCo co) = opt_co env sym (Just Representational) co -- would allow us to do custom simplifications. opt_co' env sym mrole (AxiomRuleCo co ts cs) = wrapRole mrole (coaxrRole co) $ + wrapSym sym $ AxiomRuleCo co (map (substTy env) ts) - (zipWith (opt_co env sym) (map Just (coaxrAsmpRoles co)) cs) + (zipWith (opt_co env False) (map Just (coaxrAsmpRoles co)) cs) _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
