diff options
| author | simonpj <unknown> | 1999-07-27 07:31:24 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 1999-07-27 07:31:24 +0000 |
| commit | 3df40b7b78044206bbcffe3e2c0a57d901baf5e8 (patch) | |
| tree | 075f36d30767f8e191991fc68cf514c9c45d05e8 /ghc/compiler/rename/ParseIface.y | |
| parent | 6ef0bc6c1c112a73615c5bddeb8c0fbadd557ff7 (diff) | |
| download | haskell-3df40b7b78044206bbcffe3e2c0a57d901baf5e8.tar.gz | |
[project @ 1999-07-27 07:31:16 by simonpj]
Do a more correct job of explicit for-alls in types
Diffstat (limited to 'ghc/compiler/rename/ParseIface.y')
| -rw-r--r-- | ghc/compiler/rename/ParseIface.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ghc/compiler/rename/ParseIface.y b/ghc/compiler/rename/ParseIface.y index 362126453a..83450fa071 100644 --- a/ghc/compiler/rename/ParseIface.y +++ b/ghc/compiler/rename/ParseIface.y @@ -403,7 +403,7 @@ field : var_names1 '::' type { ($1, Unbanged $3) } type :: { RdrNameHsType } type : '__fuall' fuall '=>' type { mkHsUsForAllTy $2 $4 } | '__forall' forall context '=>' type - { mkHsForAllTy $2 $3 $5 } + { mkHsForAllTy (Just $2) $3 $5 } | btype '->' type { MonoFunTy $1 $3 } | btype { $1 } |