On Fri, Jul 13, 2012 at 6:26 PM, Simon Marlow <marlo...@gmail.com> wrote:
> On 13/07/12 21:18, Heinrich Apfelmus wrote: > >> 1. Mark my library as Trustworthy even though I don't have sufficient >> proof. This severely weakens the guarantees of Safe Haskell. >> 2. Mark my library as Unsafe. But then people can't use it to write Safe >> code and will complain. >> >> The trouble is that I have a strong incentive to solve the problem >> arising from 2 by doing 1. Oops. >> > > The idea is that you do (1). And now I'm having a "so what's the point?" moment? All this effort so we can just mark random stuff as Trusted anyway? -- brandon s allbery allber...@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms
_______________________________________________ Haskell-platform mailing list Haskell-platform@projects.haskell.org http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platform
