Commit 365a3d9d authored by lewie's avatar lewie
Browse files

[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.
parent 74f9d560
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment