Safe Haskell

Issue #3 new
Former user created an issue

As far as I see the top-level modules below Math.NumberTheory are all safe to expose to untrusted users, e.g. via lambdabot. However, this is currently rejected by mueval because of missing trustworthiness annotations.

It would be great, if these annotations could be added to the safe modules. More information can be found in the HaskellWiki.

Comments (1)

  1. dafis repo owner

    Working on it. However, the unchecked functions would allow the user to shoot his feet, so I think I need XY.Safe modules exporting only the checked functions for some parts.

  2. Log in to comment