• dterei's avatar
    SafeHaskell: Transitively check safety when compiling a module. · 77d85a4a
    dterei authored
    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.
    77d85a4a
HscTypes.lhs 77 KB