-applyTys fun_ty arg_tys
- = substTyWith tvs arg_tys ty
- where
- (mu, tvs, ty) = split fun_ty arg_tys
-
- split fun_ty [] = (Nothing, [], fun_ty)
- split (NoteTy _ fun_ty) args = split fun_ty args
- split (SourceTy p) args = split (sourceTypeRep p) args
- split (ForAllTy tv fun_ty) (arg:args) = case split fun_ty args of
- (mu, tvs, ty) -> (mu, tv:tvs, ty)
- split other_ty args = panic "applyTys"
+-- This function is interesting because
+-- a) the function may have more for-alls than there are args
+-- b) less obviously, it may have fewer for-alls
+-- For case (b) think of
+-- applyTys (forall a.a) [forall b.b, Int]
+-- This really can happen, via dressing up polymorphic types with newtype
+-- clothing. Here's an example:
+-- newtype R = R (forall a. a->a)
+-- foo = case undefined :: R of
+-- R f -> f ()
+
+applyTys orig_fun_ty [] = orig_fun_ty
+applyTys orig_fun_ty arg_tys
+ | n_tvs == n_args -- The vastly common case
+ = substTyWith tvs arg_tys rho_ty
+ | n_tvs > n_args -- Too many for-alls
+ = substTyWith (take n_args tvs) arg_tys
+ (mkForAllTys (drop n_args tvs) rho_ty)
+ | otherwise -- Too many type args
+ = ASSERT2( n_tvs > 0, ppr orig_fun_ty ) -- Zero case gives infnite loop!
+ applyTys (substTyWith tvs (take n_tvs arg_tys) rho_ty)
+ (drop n_tvs arg_tys)
+ where
+ (tvs, rho_ty) = splitForAllTys orig_fun_ty
+ n_tvs = length tvs
+ n_args = length arg_tys