#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
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
