From ce9946cdd86e0dba512066b492c5a9a9009b5880 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 11 Oct 2002 08:46:26 +0000
Subject: [PATCH] [project @ 2002-10-11 08:46:26 by simonpj] Remove
 usage-analysis guff in applyTys

---
 ghc/compiler/types/Type.lhs |    9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs
index 95f22c2..6d90068 100644
--- a/ghc/compiler/types/Type.lhs
+++ b/ghc/compiler/types/Type.lhs
@@ -490,17 +490,18 @@ applyTy (ForAllTy tv ty) arg = substTyWith [tv] [arg] ty
 applyTy other		 arg = panic "applyTy"
 
 applyTys :: Type -> [Type] -> Type
-applyTys fun_ty arg_tys
+applyTys orig_fun_ty arg_tys
  = substTyWith tvs arg_tys ty
  where
-   (mu, tvs, ty) = split fun_ty arg_tys
+   (tvs, ty) = split orig_fun_ty arg_tys
    
-   split fun_ty               []         = (Nothing, [], fun_ty)
+   split fun_ty               []         = ([], 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)
+						  (tvs, ty) -> (tv:tvs, ty)
    split other_ty             args       = panic "applyTys"
+	-- No show instance for Type yet
 \end{code}
 
 
-- 
1.7.10.4