#1380: Safe Haskell
------------------------------+---------------------------------------------
Reporter: igloo | Owner: dterei
Type: feature request | Status: closed
Priority: normal | Milestone: _|_
Component: Compiler | Version: 7.1
Resolution: fixed | Keywords:
Testcase: | Blockedby:
Difficulty: Unknown | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
------------------------------+---------------------------------------------
Changes (by mokus):
* cc: mokus@… (added)
Comment:
Assuming the implementation is as described on the referenced Wiki page,
it seems like it would be nice to perform the -XSafe analysis on all
files without requiring a special extension. The things that -XSafe
rejects programs for would simply be warnings on all programs (display of
which are enabled by something like "-fwarn-unsafe-code"). Then the
"module was compiled with -XSafe" condition in the trust rules becomes
"module contained no safety violations when compiled" and -XSafe is only
needed when you actually do want the module to be rejected if not safe.
This way, a lot of existing code that actually is safe anyway would not
require adding LANGUAGE pragmas - it would just work.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1380#comment:16>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
