[project @ 2003-10-23 08:06:48 by simonpj]

Wibble for HsForAllTy

diff --git a/ghc/compiler/deSugar/DsMeta.hs b/ghc/compiler/deSugar/DsMeta.hs
index ffb6b13..71ba65c 100644 (file)
--- a/ghc/compiler/deSugar/DsMeta.hs
+++ b/ghc/compiler/deSugar/DsMeta.hs
@@ -377,8 +377,8 @@ repTys tys = mapM repTy tys
 -- represent a type
 --
 repTy :: HsType Name -> DsM (Core M.TypeQ)
-repTy (HsForAllTy bndrs ctxt ty)  = 
-  addTyVarBinds (fromMaybe [] bndrs) $ \bndrs' -> do
+repTy (HsForAllTy _ bndrs ctxt ty)  = 
+  addTyVarBinds bndrs $ \bndrs' -> do
     ctxt'  <- repContext ctxt
     ty'    <- repTy ty
     repTForall (coreList' stringTy bndrs') ctxt' ty'