Changes between Version 11 and Version 12 of SafeHaskell


Ignore:
Timestamp:
Nov 10, 2010 1:55:26 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SafeHaskell

    v11 v12  
    1010 * The server compiles this untrusted code, with the `-XSafe` flag. 
    1111 * If compilation succeeds, S can safely run the code, knowing that it cannot cause unsafe effects. 
     12 * The server S trusts  
     13   * GHC, its supporting tools 
     14   * Any Haskell modules that S chooses to compile without `-XSafe` 
     15 * The server S does not trust client code. That is why it compiles it with `-XSafe`. 
    1216 
    1317More specifically, there are two parts to this proposed extension: