From: simonmar <unknown>
Date: Fri, 30 Jul 1999 11:26:09 +0000 (+0000)
Subject: [project @ 1999-07-30 11:26:09 by simonmar]
X-Git-Tag: Approximately_9120_patches~5927
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=d43851fcc610fd2c01e8e4770c243a69b6c10dfd

[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
--- 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}