[GHC] #8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[]
#8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[] -------------------------------------+------------------------------------- Reporter: MikolajKonarski | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Operating System: Linux Keywords: | Type of failure: Compile-time Architecture: x86_64 (amd64) | crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- The following crashes in 7.4.2, 7.6.3, 7.7: {{{ {-# LANGUAGE RecordWildCards #-} data R = R {r :: Int} f x = undefined [] {r = x} main = return () }}} with the message: {{{ ~/$ ghc --make tycon_panic.hs [1 of 1] Compiling Main ( tycon_panic.hs, tycon_panic.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.2 for x86_64-unknown-linux): find_tycon ghc-prim:GHC.Types.[]{(w) d 6m} [] }}} Instead it should signal a type error (as it does with no RecordWildCards). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8448> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[] --------------------------------------------+------------------------------ Reporter: MikolajKonarski | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time crash | (amd64) Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"3342af0a5b033d76107a337c908301452b6ba5e0/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="3342af0a5b033d76107a337c908301452b6ba5e0" Test Trac #8448 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8448#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[] --------------------------------------------+------------------------------ Reporter: MikolajKonarski | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time crash | (amd64) Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"dc9961f9da0831fe3bc5b55722dac638635f8b5e/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="dc9961f9da0831fe3bc5b55722dac638635f8b5e" Fix Trac #8448 We weren't dealing with built-in syntax; data constructors that are built-in syntax (only [] actually) don't appear in the GlobalRdrEnv }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8448#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[] ---------------------------------------------+----------------------------- Reporter: MikolajKonarski | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time crash | (amd64) Test Case: rename/should_fail/T8448 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------------+----------------------------- Changes (by simonpj): * status: new => closed * testcase: => rename/should_fail/T8448 * resolution: => fixed Comment: Thanks for reporting this! Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8448#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC