projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2000-10-17 12:48:34 by sewardj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcForeign.lhs
diff --git
a/ghc/compiler/typecheck/TcForeign.lhs
b/ghc/compiler/typecheck/TcForeign.lhs
index
6c51aee
..
c8d61d2
100644
(file)
--- a/
ghc/compiler/typecheck/TcForeign.lhs
+++ b/
ghc/compiler/typecheck/TcForeign.lhs
@@
-167,11
+167,13
@@
checkForeignImport is_dynamic is_safe ty args res
case args of
[] -> check False (illegalForeignTyErr True{-Arg-} ty)
(x:xs) ->
case args of
[] -> check False (illegalForeignTyErr True{-Arg-} ty)
(x:xs) ->
+ getDOptsTc `thenTc` \ dflags ->
check (isFFIDynArgumentTy x) (illegalForeignTyErr True{-Arg-} ty) `thenTc_`
check (isFFIDynArgumentTy x) (illegalForeignTyErr True{-Arg-} ty) `thenTc_`
- mapTc (checkForeignArg (isFFIArgumentTy is_safe)) xs `thenTc_`
+ mapTc (checkForeignArg (isFFIArgumentTy dflags is_safe)) xs `thenTc_`
checkForeignRes True {-NonIO ok-} isFFIResultTy res
| otherwise =
checkForeignRes True {-NonIO ok-} isFFIResultTy res
| otherwise =
- mapTc (checkForeignArg (isFFIArgumentTy is_safe)) args `thenTc_`
+ getDOptsTc `thenTc` \ dflags ->
+ mapTc (checkForeignArg (isFFIArgumentTy dflags is_safe)) args `thenTc_`
checkForeignRes True {-NonIO ok-} isFFIResultTy res
checkForeignExport :: Bool -> Type -> [Type] -> Type -> TcM ()
checkForeignRes True {-NonIO ok-} isFFIResultTy res
checkForeignExport :: Bool -> Type -> [Type] -> Type -> TcM ()