Re: [GHC] #7394: SafeHaskell permits OPTIONS_GHC pragmas

2012-11-09 Thread GHC 
#7394: SafeHaskell permits OPTIONS_GHC pragmas
---+
  Reporter:  dag   |  Owner:  
  Type:  bug   | Status:  closed  
  Priority:  normal|  Milestone:  7.8.1   
 Component:  Documentation |Version:  7.4.1   
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by dterei):

  * status:  new = closed
  * resolution:  = fixed


Comment:

 OK, thanks for the report! Added some documentation about this issue in
 b78b6b3472511c7e39d5c91b0449a59e0f361dcf.

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

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7394: SafeHaskell permits OPTIONS_GHC pragmas

2012-11-05 Thread GHC 
#7394: SafeHaskell permits OPTIONS_GHC pragmas
-+--
Reporter:  dag   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Documentation | Version:  7.4.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonmar):

 * cc: dterei (added)
  * difficulty:  = Unknown
  * component:  Compiler = Documentation
  * milestone:  = 7.8.1


Comment:

 SafeHaskell doesn't currently attempt to enforce compile-time safety, if
 you're using this to compile untrusted code then you should do the
 compilation in a sandbox.  There's some discussion of this in the
 SafeHaskell paper.  (dterei please correct me if I'm wrong)

 See also [wiki:SafeHaskell/SafeCompilation]

 We should say something about this in the docs.  David, any chance you'll
 be able to look into this?

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7394#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7394: SafeHaskell permits OPTIONS_GHC pragmas

2012-11-05 Thread GHC 
#7394: SafeHaskell permits OPTIONS_GHC pragmas
-+--
Reporter:  dag   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  normal|   Milestone:  7.8.1   
   Component:  Documentation | Version:  7.4.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by dterei):

 Yes, I'll take a look at the userguide and make sure this is covered.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7394#comment:2
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #7394: SafeHaskell permits OPTIONS_GHC pragmas

2012-11-04 Thread GHC 
#7394: SafeHaskell permits OPTIONS_GHC pragmas
--+-
 Reporter:  dag   |  Owner:  
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.4.1 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
 This can be used to launch arbitrary processes at compile-time, and
 possibly other dangerous things as well. For example, I'm curious if it
 would be possible to override trust with {{{OPTIONS_GHC -trust foo}}}...

 Test case, using the hsx preprocessor for XML literals:

 {{{
 {-# LANGUAGE Safe #-}
 {-# OPTIONS_GHC -F -pgmF trhsx #-}
 img = img/
 }}}

 The resulting error suggest that the trhsx program was in deed launched:

 {{{
 pp.hs:3:8: Not in scope: `genEElement'
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7394
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs