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

Comment(by simonpj@…):

 commit 0b2a6a0580c34e4fcb77a67719d77b358bb4d69d
 {{{
 Author: Simon Peyton Jones <simo...@microsoft.com>
 Date:   Mon Oct 15 15:07:16 2012 +0100

     Wrap a bracket quotation in a coercion that makes it have the right
 type

     This is the right fix to Trac #7276 (part 2), which makes the
     interaction with -fdefer-type-errors and TH work properly.

  compiler/typecheck/TcSplice.lhs |   14 +++++++-------
  1 files changed, 7 insertions(+), 7 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7276#comment:8>
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

Reply via email to