From 2007c7e67ddea6e16f4c8e013a453b073232459a Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 25 Oct 2001 09:58:39 +0000
Subject: [PATCH] [project @ 2001-10-25 09:58:39 by simonpj] Cosmetica

---
 ghc/compiler/stranal/WwLib.lhs        |    1 +
 ghc/compiler/typecheck/TcSimplify.lhs |    4 +++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/stranal/WwLib.lhs b/ghc/compiler/stranal/WwLib.lhs
index 2cda4f0..d2c1e24 100644
--- a/ghc/compiler/stranal/WwLib.lhs
+++ b/ghc/compiler/stranal/WwLib.lhs
@@ -354,6 +354,7 @@ mkWWstr_one arg
 								-- components.   In effect
 								-- 	S(LA) -->  U(LL)
 			Drop -> cs
+			Defer -> pprTrace "wwlib" (ppr arg) cs
 	   in
 	   mkWWstr unpk_args_w_ds		`thenUs` \ (worker_args, wrap_fn, work_fn) ->
 
diff --git a/ghc/compiler/typecheck/TcSimplify.lhs b/ghc/compiler/typecheck/TcSimplify.lhs
index 444d496..43e633b 100644
--- a/ghc/compiler/typecheck/TcSimplify.lhs
+++ b/ghc/compiler/typecheck/TcSimplify.lhs
@@ -594,7 +594,9 @@ The excitement comes when simplifying the bindings for h.  Initially
 try to simplify {y @ [[t1]] t2, 0 @ t1}, with initial qtvs = {t2}.
 From this we get t1:=:t2, but also various bindings.  We can't forget
 the bindings (because of [LOOP]), but in fact t1 is what g is
-polymorphic in.
+polymorphic in.  
+
+The net effect of [NO TYVARS] 
 
 \begin{code}
 isFreeAndInheritable qtvs inst
-- 
1.7.10.4