From e72b2ad40adbd9afa8c68af8429150b6b5e485a1 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Sat, 19 Nov 2005 14:59:53 +0000
Subject: [PATCH] [project @ 2005-11-19 14:59:53 by simonmar] fix repType
 after changes to the representation of type synonyms. This
 caused the stage2 compiler to crash, because various info
 tables misrepresented the pointerhood of constructor
 arguments.

---
 ghc/compiler/types/Type.lhs |   11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs
index 5a4fbb0..a9d8e28 100644
--- a/ghc/compiler/types/Type.lhs
+++ b/ghc/compiler/types/Type.lhs
@@ -423,13 +423,10 @@ It's useful in the back end.
 \begin{code}
 repType :: Type -> Type
 -- Only applied to types of kind *; hence tycons are saturated
-repType (ForAllTy _ ty)   = repType ty
-repType (NoteTy   _ ty)   = repType ty
-repType (PredTy  p)       = repType (predTypeRep p)
-repType (TyConApp tc tys) 
-  | isNewTyCon tc 	  = ASSERT( tys `lengthIs` tyConArity tc )
-			    repType (new_type_rep tc tys)
-repType ty	 	  = ty
+repType (ForAllTy _ ty)   	     = repType ty
+repType (NoteTy   _ ty)   	     = repType ty
+repType ty | Just ty' <- coreView ty = repType ty'
+  	   | otherwise		     = ty
 
 -- ToDo: this could be moved to the code generator, using splitTyConApp instead
 -- of inspecting the type directly.
-- 
1.7.10.4