[commit: ghc] master: Use newTyConInstRhs in coerceâd GND (6ba82b1)
git at git.haskell.org
git at git.haskell.org
Fri Nov 22 18:29:17 UTC 2013
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/6ba82b1a0518211d1a489a35d952f6ff48a187d3/ghc
>---------------------------------------------------------------
commit 6ba82b1a0518211d1a489a35d952f6ff48a187d3
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Fri Nov 22 11:16:55 2013 +0000
Use newTyConInstRhs in coerce’d GND
>---------------------------------------------------------------
6ba82b1a0518211d1a489a35d952f6ff48a187d3
compiler/typecheck/TcDeriv.lhs | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs
index e6265eb..80db6f8 100644
--- a/compiler/typecheck/TcDeriv.lhs
+++ b/compiler/typecheck/TcDeriv.lhs
@@ -1942,11 +1942,7 @@ genInst standalone_deriv oflag comauxs
, ib_standalone_deriving = standalone_deriv } }
; return ( inst_info, deriv_stuff, Nothing ) }
where
- (etad_tvs, etad_rhs) = newTyConEtadRhs rep_tycon
- -- it's possible the eta-reduced rhs is overly-reduced.
- -- pad as necessary
- pad_tys = dropList etad_tvs rep_tc_args
- rhs_ty = mkAppTys etad_rhs pad_tys
+ rhs_ty = newTyConInstRhs rep_tycon rep_tc_args
genDerivStuff :: SrcSpan -> FixityEnv -> Class -> Name -> TyCon
-> Maybe CommonAuxiliary
More information about the ghc-commits
mailing list