Changes between Version 33 and Version 34 of SafeHaskell


Ignore:
Timestamp:
Jan 21, 2011 8:56:30 AM (3 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SafeHaskell

    v33 v34  
    5959 
    6060 * A '''module M is trusted by the client C''' if either: 
    61    1. M is guaranteed by the compiler (ghc) to be `safe`. 
     61   1. M is guaranteed by the compiler (ghc) to be `safe`, and all of M's direct imports are trusted by C 
    6262      * (This is done by using the safe language extension for M without any compromises). 
    63       * All of M's direct dependencies must be trusted (all imports are safe imports). 
    6463      * M can reside in any package P, regardless of if P is trusted or not. 
    6564   2. '''OR''': M is specified by the client C to be `safe`.