Safe Haskell and Haskell Platform: near-term tactics

[Yitzchak Gale]

Gregory Collins wrote:
> From the paper:
>
> "A module that is declared to be Trustworthy is claimed by the
> author to expose a safe interface, even though its implementation
> might make use of unsafe features."
>
> Putting a Trustworthy on the top of a module means that "I, the module
> author, assert that any uses of unsafePerformIO and friends in this module
> are safe and using the functions herein will not violate safety." You can't
> just slap a Trustworthy on everything and go home, every module in the
> platform needs to be audited.

So I guess we disagree about how to interpret
Simon's use of the word "claim".