[GHC] #1380: Safe Haskell

GHC trac at galois.com
Thu May 8 17:22:43 EDT 2008


#1380: Safe Haskell
-----------------------------+----------------------------------------------
 Reporter:  igloo            |          Owner:         
     Type:  feature request  |         Status:  new    
 Priority:  normal           |      Milestone:  _|_    
Component:  None             |        Version:  6.6.1  
 Severity:  normal           |     Resolution:         
 Keywords:                   |     Difficulty:  Unknown
 Testcase:                   |   Architecture:  Unknown
       Os:  Unknown          |  
-----------------------------+----------------------------------------------
Comment (by ion):

 Modula 3 has a system of safe/unsafe modules. By default, all modules are
 considered safe (here `safe` means that the runtime environment may not
 crash). If unsafe things like pointers are to be used, the module must be
 explicitly marked as `unsafe`. Safe modules can only import safe
 modules.[[BR]]

 The syntax could be (similar to Modula 3): [[BR]]

 {{{

 module Prelude where
 ...

 unsafe module X where
 ...
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1380#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list