Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/77d85a4a9c185a4756f14135e96f3b0aab9cf8f9 >--------------------------------------------------------------- commit 77d85a4a9c185a4756f14135e96f3b0aab9cf8f9 Author: David Terei <[email protected]> Date: Sat Jun 11 20:20:32 2011 -0700 SafeHaskell: Transitively check safety when compiling a module. While we previously checked the safety of safe imported modules we didn't do this check transitively. This can be a problem when we depend on a trustworthy module in a package that is no longer trusted, so we should fail compilation. We already stored in an interface file the transitive list of packages a module depends on. Now we extend that list to include a flag saying if we depend on that package being trusted as well. compiler/ghci/Linker.lhs | 2 +- compiler/iface/LoadIface.lhs | 4 ++- compiler/iface/MkIface.lhs | 11 ++++++-- compiler/main/DriverPipeline.hs | 2 +- compiler/main/HscMain.lhs | 52 ++++++++++++++++++++++++++++--------- compiler/main/HscTypes.lhs | 2 +- compiler/main/TidyPgm.lhs | 4 +- compiler/rename/RnNames.lhs | 49 ++++++++++++++++++++++++++++++----- compiler/typecheck/TcRnTypes.lhs | 34 +++++++++++++++++------- 9 files changed, 121 insertions(+), 39 deletions(-) Diff suppressed because of size. To see it, use: git show 77d85a4a9c185a4756f14135e96f3b0aab9cf8f9 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
