[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 <krz.gogolewski@…>): In [changeset:"d5872bb88d77ecc579f0e2feb95a2ffcfeea9bbb/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="d5872bb88d77ecc579f0e2feb95a2ffcfeea9bbb" Test #8492 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8492#comment:7> 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 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