Changes between Version 20 and Version 21 of SafeHaskell


Ignore:
Timestamp:
Jan 14, 2011 11:47:22 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SafeHaskell

    v20 v21  
    5454  rm = RM deleteAllFiles 
    5555}}} 
    56  (See `-ultrasafe` below for one such mechanism.) 
     56The flag (and LANGUAGE pragma) `UltraSafe` is just like `Safe` except that it also disables `foreign import`.  This strengtens the safety guarantee, by esuring that a `UltraSafe` module can construct IO actions only by composing together IO actions that it imports from trusted modules. 
    5757 
    5858== Module trust ==