From 365a3d9d97905d823fa88769b19e20411af32679 Mon Sep 17 00:00:00 2001 From: lewie Date: Tue, 27 Jun 2000 16:48:25 +0000 Subject: [PATCH] [project @ 2000-06-27 16:48:25 by lewie] splitFunTy_maybe was making a special case of implicit params by returning Nothing on a type `noted' as an implicit param. It shouldn't (my bad). It's mostly used downstream of the type checker, where we don't care so much about the difference between implicit and explicit params. The right thing to do is just see thru the NoteTy (i.e. eliminate the special case for IPs). Please merge. --- ghc/compiler/types/Type.lhs | 1 - 1 file changed, 1 deletion(-) diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs index a855e1d..e3c4b78 100644 --- a/ghc/compiler/types/Type.lhs +++ b/ghc/compiler/types/Type.lhs @@ -309,7 +309,6 @@ mkTyConTy tycon = ASSERT( not (isSynTyCon tycon) ) splitTyConApp_maybe :: Type -> Maybe (TyCon, [Type]) splitTyConApp_maybe (TyConApp tc tys) = Just (tc, tys) splitTyConApp_maybe (FunTy arg res) = Just (funTyCon, [arg,res]) -splitTyConApp_maybe (NoteTy (IPNote _) ty) = Nothing splitTyConApp_maybe (NoteTy _ ty) = splitTyConApp_maybe ty splitTyConApp_maybe other = Nothing -- 1.7.10.4