#7276: -fdefer-type-errors allows the types of quotations to be coerced, causing
segmentation fault
 Reporter:  parcs               |          Owner:                  
     Type:  bug                 |         Status:  new             
 Priority:  normal              |      Component:  Compiler        
  Version:  7.6.1               |       Keywords:                  
       Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple
  Failure:  Compile-time crash  |       Testcase:                  
Blockedby:                      |       Blocking:                  
  Related:                      |  

Comment(by simonpj@…):

 commit a501c950652d3cb56335781289f0f502c0cf2f4e
 Author: Simon Peyton Jones <simo...@microsoft.com>
 Date:   Mon Oct 1 21:52:19 2012 +0100

     Make sure that we check for type errors strictly in a Template Haskell
 splice, even if -fdefer-type-errors is on

     We're going to run this code, so there's no point in deferring type
     errors.  Worse, TcSplice uses unsafeCoerce (for vevy good reasons),
     so splicing a type into a place where an expression is expected would
     yield a seg-fault if we plough on regardless.

     Fixes Trac #7276

  compiler/typecheck/TcSplice.lhs |    6 ++++++
  1 files changed, 6 insertions(+), 0 deletions(-)

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

Glasgow-haskell-bugs mailing list

Reply via email to