[GHC] #8333: The impossible happened with TH + -fno-omit-interface-pragmas

#8333: The impossible happened with TH + -fno-omit-interface-pragmas ------------------------------------+------------------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: GHCi crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- {{{ $ ./ghc-stage2 --interactive Test.hs GHCi, version 7.7.20130919: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling Main ( /home/errge/tmp/Test.hs, interpreted ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20130919 for i386-unknown-linux): toIfaceTickish Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Leaving GHCi. }}} With Test.hs being: {{{ {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -fno-omit-interface-pragmas #-} main :: IO () main = return () }}} I want to make TemplateHaskell generated non-essential info visible even with -O0. Compilation works, everything is fine. But I can't load source code like this with GHCi, which is annoying. Setting priority to high, since this is a crash. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8333 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8333: The impossible happened with TH + -fno-omit-interface-pragmas -------------------------------+------------------------------------------- Reporter: errge | Owner: Type: bug | Status: patch Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: GHCi crash | Blocked By: Test Case: | Related Tickets: Blocking: | -------------------------------+------------------------------------------- Changes (by klao): * cc: mihaly.barasz@… (added) * difficulty: Unknown => Easy (less than 1 hour) * status: new => patch Comment: The attached patch contains an obvious easy fix. Another approach would be to change `TidyPgm` to remove the breakpoints even if -fno-omit-interface-pragmas is on. But, I don't see clearly what other consequences would that have. There was obviously a path to this panic from GHCi, but maybe it could also be triggered by someone using the GHC API directly. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8333#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8333: The impossible happened with TH + -fno-omit-interface-pragmas -------------------------------+------------------------------------------- Reporter: errge | Owner: Type: bug | Status: patch Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: GHCi crash | Blocked By: Test Case: | Related Tickets: Blocking: | -------------------------------+------------------------------------------- Comment (by simonpj): OK I'll fix that, thanks -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8333#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8333: The impossible happened with TH + -fno-omit-interface-pragmas
-------------------------------+-------------------------------------------
Reporter: errge | Owner:
Type: bug | Status: patch
Priority: high | Milestone: 7.8.1
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Easy (less than 1 hour)
Type of failure: GHCi crash | Blocked By:
Test Case: | Related Tickets:
Blocking: |
-------------------------------+-------------------------------------------
Comment (by Simon Peyton Jones

#8333: The impossible happened with TH + -fno-omit-interface-pragmas
-------------------------------+-------------------------------------------
Reporter: errge | Owner:
Type: bug | Status: patch
Priority: high | Milestone: 7.8.1
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Easy (less than 1 hour)
Type of failure: GHCi crash | Blocked By:
Test Case: | Related Tickets:
Blocking: |
-------------------------------+-------------------------------------------
Comment (by Simon Peyton Jones

#8333: The impossible happened with TH + -fno-omit-interface-pragmas -------------------------------+------------------------------------------- Reporter: errge | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: GHCi crash | Blocked By: Test Case: th/T8333 | Related Tickets: Blocking: | -------------------------------+------------------------------------------- Changes (by simonpj): * status: patch => closed * testcase: => th/T8333 * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8333#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8333: The impossible happened with TH + -fno-omit-interface-pragmas -------------------------------+------------------------------------------- Reporter: errge | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: GHCi crash | Blocked By: Test Case: th/T8333 | Related Tickets: Blocking: | -------------------------------+------------------------------------------- Comment (by nfrisby): The Makefile line is missing a {{{-v0}}} argument — the build date is in the expected output. (Sorry to report this simple ones without pushing — my tree is a bit tangly at the moment.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8333#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8333: The impossible happened with TH + -fno-omit-interface-pragmas
-------------------------------+-------------------------------------------
Reporter: errge | Owner:
Type: bug | Status: closed
Priority: high | Milestone: 7.8.1
Component: Compiler | Version: 7.7
Resolution: fixed | Keywords:
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Easy (less than 1 hour)
Type of failure: GHCi crash | Blocked By:
Test Case: th/T8333 | Related Tickets:
Blocking: |
-------------------------------+-------------------------------------------
Comment (by Krzysztof Gogolewski

#8333: The impossible happened with TH + -fno-omit-interface-pragmas -------------------------------+------------------------------------------- Reporter: errge | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: GHCi crash | Blocked By: Test Case: th/T8333 | Related Tickets: Blocking: | -------------------------------+------------------------------------------- Comment (by monoidal): @nfrisby: Fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8333#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC