[project @ 1999-01-19 14:40:00 by sof]

foreign decls: use wlkHsSigType, not wlkHsType, since the tysig may
have implicitly quantified tyvars.

diff --git a/ghc/compiler/reader/ReadPrefix.lhs b/ghc/compiler/reader/ReadPrefix.lhs
index d789197..a29c6b3 100644 (file)
--- a/ghc/compiler/reader/ReadPrefix.lhs
+++ b/ghc/compiler/reader/ReadPrefix.lhs
@@ -612,7 +612,7 @@ wlkBinding binding
       U_fobind id ty ext_name unsafe_flag cconv imp_exp srcline ->
        mkSrcLocUgn        srcline                 $ \ src_loc ->
        wlkVarId id                                `thenUgn` \ h_id ->
-       wlkHsType ty                               `thenUgn` \ h_ty ->
+       wlkHsSigType ty                            `thenUgn` \ h_ty ->
        wlkExtName ext_name                        `thenUgn` \ h_ext_name ->
        rdCallConv cconv                           `thenUgn` \ h_cconv ->
        rdForKind imp_exp (cvFlag unsafe_flag)    `thenUgn` \ h_imp_exp ->