[GHC] #1380: Safe Haskell

GHC cvs-ghc at haskell.org
Tue Jul 26 21:34:40 CEST 2011


#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



More information about the Glasgow-haskell-bugs mailing list