#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 |
------------------------------+---------------------------------------------
Comment(by dterei):
This is something we have discussed previously and worth visiting again in
the future. One issue is that you may have a module that is safe in that
it doesn't break the types but you don't want untrusted code to be able to
import it as it exposes symbols they shouldn't access. This could be fixed
though by having a UNSAFE pragma that explicitly marks a module as unsafe.
For now the current design will stay for GHC 7.2 but after we get some
feed back from users your suggestion may defiantly be the way to go.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1380#comment:17>
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
