Commit 3194c528 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-02-20 16:01:56 by simonpj]

Comments and imports only
parent 51a1c2a2
...@@ -127,7 +127,7 @@ import Type ( -- Re-exports ...@@ -127,7 +127,7 @@ import Type ( -- Re-exports
mkTyVarTy, mkTyVarTys, mkTyConTy, mkPredTy, mkTyVarTy, mkTyVarTys, mkTyConTy, mkPredTy,
mkPredTys, isUnLiftedType, mkPredTys, isUnLiftedType,
isUnboxedTupleType, isPrimitiveType, isUnboxedTupleType, isPrimitiveType,
splitNewType_maybe, splitTyConApp_maybe, splitTyConApp_maybe,
tidyTopType, tidyType, tidyPred, tidyTypes, tidyTopType, tidyType, tidyPred, tidyTypes,
tidyFreeTyVars, tidyOpenType, tidyOpenTypes, tidyFreeTyVars, tidyOpenType, tidyOpenTypes,
tidyTyVarBndr, tidyOpenTyVar, tidyTyVarBndr, tidyOpenTyVar,
...@@ -853,7 +853,7 @@ isFFILabelTy = checkRepTyCon (\tc -> tc == ptrTyCon || tc == funPtrTyCon || tc = ...@@ -853,7 +853,7 @@ isFFILabelTy = checkRepTyCon (\tc -> tc == ptrTyCon || tc == funPtrTyCon || tc =
checkRepTyCon :: (TyCon -> Bool) -> Type -> Bool checkRepTyCon :: (TyCon -> Bool) -> Type -> Bool
-- Look through newtypes -- Look through newtypes
-- Non-recursive ones are transparent to splitTyConApp, -- Non-recursive ones are transparent to splitTyConApp,
-- but recursive ones aren't; hence the splitNewType_maybe -- but recursive ones aren't
checkRepTyCon check_tc ty checkRepTyCon check_tc ty
| Just (tc,_) <- splitTyConApp_maybe (repType ty) = check_tc tc | Just (tc,_) <- splitTyConApp_maybe (repType ty) = check_tc tc
| otherwise = False | otherwise = False
......
Supports Markdown
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