[GHC] #8492: Exception: expectJust cpeBody:collect_args

#8492: Exception: expectJust cpeBody:collect_args ----------------------------------+---------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: Runtime crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+---------------------------------- 1. run CollectArgsFailing.hs 2. run CollectArgsPassing.hs My expectation is for both programs to be equivalent. However, the first program fails with `*** Exception: expectJust cpeBody:collect_args`. The second works as expected. {{{ corey-mbp:tmp corey$ runhaskell CollectArgsIssueFailing.hs *** Exception: expectJust cpeBody:collect_args corey-mbp:tmp corey$ runhaskell CollectArgsIssuePassing.hs True }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8492 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8492: Exception: expectJust cpeBody:collect_args ----------------------------------+---------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Comment (by CoreyOConnor): installation of ghc was from homebrew: `brew install ghc` -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8492#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8492: Exception: expectJust cpeBody:collect_args ----------------------------------+---------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: duplicate | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Changes (by monoidal): * status: new => closed * resolution: => duplicate Comment: This is a bug in 7.6.1 and should be already fixed in 7.6.3, see http://comments.gmane.org/gmane.comp.lang.haskell.glasgow.user/22746 and #7372. If you do find this bug in 7.6.3, please reopen the ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8492#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8492: Exception: expectJust cpeBody:collect_args ----------------------------------+---------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Changes (by CoreyOConnor): * status: closed => new * resolution: duplicate => Comment: This is using ghc 7.6.3. Both the 7.6.3 from the Haskell Platform and that installed view homebrew. {{{ corey-mbp:tmp corey$ ghci GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. λ: :l CollectArgsIssueFailing.hs [1 of 1] Compiling Main ( CollectArgsIssueFailing.hs, interpreted ) *** Exception: expectJust cpeBody:collect_args }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8492#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8492: Exception: expectJust cpeBody:collect_args ----------------------------------+---------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Comment (by thoughtpolice): This is definitively fixed in HEAD. {{{ ./inplace/bin/ghc-stage2 --interactive GHCi, version 7.7.20131031: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Prelude> :l CollectArgsIssueFailing.hs [1 of 1] Compiling Main ( CollectArgsIssueFailing.hs, interpreted ) Ok, modules loaded: Main. *Main> ^D Leaving GHCi. }}} I can add a test case for this, however, to make sure it doesn't crop up again. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8492#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8492: Exception: expectJust cpeBody:collect_args ----------------------------------+---------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Comment (by CoreyOConnor): Confirmed. Works in HEAD for me as well. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8492#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8492: Exception: expectJust cpeBody:collect_args ----------------------------------+---------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Changes (by monoidal): * status: new => closed * resolution: => fixed Comment: Sorry - you are right, I messed something and thought that worked in 7.6.3. The type `((->) Int) Bool` suggests this was fixed by bug #7903. I will add a regression test. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8492#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8492: Exception: expectJust cpeBody:collect_args
----------------------------------+----------------------------------
Reporter: CoreyOConnor | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Resolution: fixed | Keywords:
Operating System: MacOS X | Architecture: x86_64 (amd64)
Type of failure: Runtime crash | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
----------------------------------+----------------------------------
Comment (by Krzysztof Gogolewski

#8492: Exception: expectJust cpeBody:collect_args -----------------------------------------------+--------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: MacOS X | Architecture: x86_64 Type of failure: Runtime crash | (amd64) Test Case: typecheck/should_run/T8492 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: -----------------------------------------------+--------------------------- Changes (by monoidal): * testcase: => typecheck/should_run/T8492 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8492#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC