make it compile in non-DEBUG mode
| length tyvars /= length tys
= pprTrace "mkTopTyVarSubst" (ppr tyvars $$ ppr tys) emptySubstEnv
| otherwise
| length tyvars /= length tys
= pprTrace "mkTopTyVarSubst" (ppr tyvars $$ ppr tys) emptySubstEnv
| otherwise
- = zip_ty_env tyvars tys emptySubstEnv
+ = zip_ty_env tyvars tys emptySubstEnv
zip_ty_env [] [] env = env
zip_ty_env (tv:tvs) (ty:tys) env = zip_ty_env tvs tys (extendSubstEnv env tv (DoneTy ty))
zip_ty_env [] [] env = env
zip_ty_env (tv:tvs) (ty:tys) env = zip_ty_env tvs tys (extendSubstEnv env tv (DoneTy ty))