diff options
Diffstat (limited to 'compiler/typecheck/TcForeign.hs')
-rw-r--r-- | compiler/typecheck/TcForeign.hs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/compiler/typecheck/TcForeign.hs b/compiler/typecheck/TcForeign.hs index 9f560311ae..8038de3d84 100644 --- a/compiler/typecheck/TcForeign.hs +++ b/compiler/typecheck/TcForeign.hs @@ -33,6 +33,8 @@ module TcForeign #include "HsVersions.h" +import GhcPrelude + import HsSyn import TcRnMonad @@ -129,7 +131,7 @@ normaliseFfiType' env ty0 = go initRecTc ty0 | Just (tc, tys) <- splitTyConApp_maybe ty = go_tc_app rec_nts tc tys - | (bndrs, inner_ty) <- splitForAllTyVarBndrs ty + | (bndrs, inner_ty) <- splitForAllVarBndrs ty , not (null bndrs) = do (coi, nty1, gres1) <- go rec_nts inner_ty return ( mkHomoForAllCos (binderVars bndrs) coi @@ -261,7 +263,7 @@ tcFImport (L dloc fo@(ForeignImport { fd_name = L nloc nm, fd_sig_ty = hs_ty -- we need HsType Id hence the undefined ; let fi_decl = ForeignImport { fd_name = L nloc id , fd_sig_ty = undefined - , fd_co = mkSymCo norm_co + , fd_i_ext = mkSymCo norm_co , fd_fi = imp_decl' } ; return (id, L dloc fi_decl, gres) } tcFImport d = pprPanic "tcFImport" (ppr d) @@ -407,7 +409,7 @@ tcFExport fo@(ForeignExport { fd_name = L loc nm, fd_sig_ty = hs_ty, fd_fe = spe return ( mkVarBind id rhs , ForeignExport { fd_name = L loc id , fd_sig_ty = undefined - , fd_co = norm_co, fd_fe = spec' } + , fd_e_ext = norm_co, fd_fe = spec' } , gres) tcFExport d = pprPanic "tcFExport" (ppr d) |