Commit 045fa7c6 authored by simonpj's avatar simonpj
Browse files

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

Wibble for HsForAllTy
parent 4fef5c33
......@@ -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'
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment