[GHC] #12850: Panic with unboxed integers and ghci
#12850: Panic with unboxed integers and ghci -------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHCi crash Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Attempting to load the following file in ghci causes a panic in getIdFromTrivialExpr. Tested in GHC 8.0.1 and HEAD. {{{ {-# LANGUAGE ExplicitForAll, MagicHash, KindSignatures #-} import GHC.Types (RuntimeRep(..), TYPE) f :: forall (x :: TYPE 'IntRep). x -> x f x = x g = () where h = f 0# }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12850 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12850: Panic with unboxed integers and ghci -------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHCi crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * cc: ezyang (added) Comment: GHC shouldn't panic, but is GHCi supposed to handle unboxed values, these days? I've lost track. Edward in 11ff1df8 made some changes to `getIdFromTrivialExpr`. Edward might you look? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12850#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12850: Panic with unboxed integers and ghci
-------------------------------------+-------------------------------------
Reporter: monoidal | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.0.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: GHCi crash | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ryan Scott
#12850: Panic with unboxed integers and ghci -------------------------------------+------------------------------------- Reporter: monoidal | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHCi crash | Test Case: | typecheck/should_compile/T12850 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => closed * testcase: => typecheck/should_compile/T12850 * resolution: => fixed * milestone: => 8.2.1 Comment: Commit e7985ed23ddc68b6a2e4af753578dc1d9e8ab4c9 (Update levity polymorphism) happened to nab this bug. Hooray! I've added a regression test for the program in this ticket, so I'll opt to close it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12850#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC