[GHC] #12026: Pattern match failure in RnNames.hs
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When compiling dimensional-1.0.1.1 after patching numtype-dk with the patch at https://github.com/bjornbm/numtype-dk/issues/12 GHC does the "impossible": [ 3 of 16] Compiling Numeric.Units.Dimensional.Dimensions.TypeLevel ( src/Numeric/Units/Dimensional/Dimensions/TypeLevel.hs, dist/dist-sandbox- 68389a1a/build/Numeric/Units/Dimensional/Dimensions/TypeLevel.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.0.20160421 for x86_64-unknown-linux): Pattern match failure in do expression at compiler/rename/RnNames.hs:902:12-50 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by davean): For simplicity I've provided the patched numtype-dk repo at http://code.xkrd.net/davean/numtype-dk.git Additionally, this compiles clean on 7.10.3 (including with the patched numtype-dk). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by hvr: @@ -5,0 +5,1 @@ + {{{ @@ -12,0 +13,1 @@ + }}} New description: When compiling dimensional-1.0.1.1 after patching numtype-dk with the patch at https://github.com/bjornbm/numtype-dk/issues/12 GHC does the "impossible": {{{ [ 3 of 16] Compiling Numeric.Units.Dimensional.Dimensions.TypeLevel ( src/Numeric/Units/Dimensional/Dimensions/TypeLevel.hs, dist/dist-sandbox- 68389a1a/build/Numeric/Units/Dimensional/Dimensions/TypeLevel.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.0.20160421 for x86_64-unknown-linux): Pattern match failure in do expression at compiler/rename/RnNames.hs:902:12-50 }}} -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: Type: bug | Status: new Priority: highest | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * priority: high => highest Comment: Here is a small reproducer: T12026.hs: {{{#!hs module T12026 where import Prelude (map ()) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: mpickering Type: bug | Status: new Priority: highest | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by mpickering): * owner: => mpickering -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: mpickering Type: bug | Status: patch Priority: highest | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2181 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => patch * differential: => Phab:D2181 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: mpickering Type: bug | Status: patch Priority: highest | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2181 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"53f26f5a45f146e1cc988bbcf76a362c877beaa2/ghc" 53f26f5/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="53f26f5a45f146e1cc988bbcf76a362c877beaa2" Forbid variables to be parents in import lists. In the long discussion on #11432, it was decided that when a type constructor is parsed as a variable ((--.->) is one example) then in order to export the type constructor then the user should be required to use the ExplicitNamespaces keyword. This was implemented in quite an indirect manner in the renamer. It is much more direct to enforce this in the parser at the expense of slighty worse error messages. Further to this, the check in the renamer was actually slightly wrong. If the variable was in scope then no error was raised, this was causing panics, see #12026 for an example. Reviewers: austin, bgamari Subscribers: davean, skvadrik, thomie Differential Revision: https://phabricator.haskell.org/D2181 GHC Trac Issues: #12026 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: mpickering Type: bug | Status: merge Priority: highest | Milestone: 8.0.2 Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2181 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: patch => merge * milestone: => 8.0.2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#12026: Pattern match failure in RnNames.hs -------------------------------------+------------------------------------- Reporter: davean | Owner: mpickering Type: bug | Status: closed Priority: highest | Milestone: 8.0.2 Component: Compiler | Version: 8.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2181 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed Comment: Merged to `ghc-8.0` as 638c1d43b6f7258a5f1936482f11d30b6b089c1d. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12026#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC