Move applyTysX near piResultTys
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 21 Mar 2016 12:51:40 +0000 (12:51 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 23 Mar 2016 15:39:13 +0000 (15:39 +0000)
compiler/types/Type.hs

index e3d3c88..c5561a3 100644 (file)
@@ -913,6 +913,18 @@ piResultTys ty orig_args@(arg:args)
       | otherwise
       = pprPanic "piResultTys2" (ppr ty $$ ppr orig_args $$ ppr all_args)
 
+applyTysX :: [TyVar] -> Type -> [Type] -> Type
+-- applyTyxX beta-reduces (/\tvs. body_ty) arg_tys
+-- Assumes that (/\tvs. body_ty) is closed
+applyTysX tvs body_ty arg_tys
+  = ASSERT2( length arg_tys >= n_tvs, pp_stuff )
+    ASSERT2( tyCoVarsOfType body_ty `subVarSet` mkVarSet tvs, pp_stuff )
+    mkAppTys (substTyWith tvs (take n_tvs arg_tys) body_ty)
+             (drop n_tvs arg_tys)
+  where
+    pp_stuff = vcat [ppr tvs, ppr body_ty, ppr arg_tys]
+    n_tvs = length tvs
+
 {-
 ---------------------------------------------------------------------
                                 TyConApp
@@ -1484,18 +1496,6 @@ splitPiTysInvisible ty = split ty ty []
      split orig_ty _ bndrs
        = (reverse bndrs, orig_ty)
 
-applyTysX :: [TyVar] -> Type -> [Type] -> Type
--- applyTyxX beta-reduces (/\tvs. body_ty) arg_tys
--- Assumes that (/\tvs. body_ty) is closed
-applyTysX tvs body_ty arg_tys
-  = ASSERT2( length arg_tys >= n_tvs, pp_stuff )
-    ASSERT2( tyCoVarsOfType body_ty `subVarSet` mkVarSet tvs, pp_stuff )
-    mkAppTys (substTyWith tvs (take n_tvs arg_tys) body_ty)
-             (drop n_tvs arg_tys)
-  where
-    pp_stuff = vcat [ppr tvs, ppr body_ty, ppr arg_tys]
-    n_tvs = length tvs
-
 {-
 %************************************************************************
 %*                                                                      *