Use newTyConInstRhs in coerce’d GND
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 22 Nov 2013 11:16:55 +0000 (11:16 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 22 Nov 2013 18:01:05 +0000 (18:01 +0000)
compiler/typecheck/TcDeriv.lhs

index e6265eb..80db6f8 100644 (file)
@@ -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