[project @ 1999-07-30 11:26:09 by simonmar]

typePrimRep should work on the repType, avoiding foralls etc.

diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs
index 8271ce3..ccd8af7 100644 (file)
--- a/ghc/compiler/types/Type.lhs
+++ b/ghc/compiler/types/Type.lhs
@@ -872,7 +872,7 @@ isNewType ty = case splitTyConApp_maybe ty of
                        other              -> False
 
 typePrimRep :: Type -> PrimRep
-typePrimRep ty = case splitTyConApp_maybe ty of
+typePrimRep ty = case splitTyConApp_maybe (repType ty) of
                   Just (tc, ty_args) -> tyConPrimRep tc
                   other              -> PtrRep
 \end{code}