[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