Changes between Version 11 and Version 12 of SafeHaskell


Ignore:
Timestamp:
Nov 10, 2010 1:55:26 PM (5 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: