A collection of type-inference refactorings.
[ghc.git] / compiler / vectorise / Vectorise / Generic / PData.hs
index d4abeae..e5b94b1 100644 (file)
@@ -44,7 +44,7 @@ buildDataFamInst :: Name -> TyCon -> TyCon -> AlgTyConRhs -> VM FamInst
 buildDataFamInst name' fam_tc vect_tc rhs
  = do { axiom_name <- mkDerivedName mkInstTyCoOcc name'
 
-      ; (_, tyvars') <- liftDs $ tcInstSigTyVars (getSrcSpan name') tyvars
+      ; (_, tyvars') <- liftDs $ freshenTyVarBndrs tyvars
       ; let ax       = mkSingleCoAxiom Representational axiom_name tyvars' [] fam_tc pat_tys rep_ty
             tys'     = mkTyVarTys tyvars'
             rep_ty   = mkTyConApp rep_tc tys'