Opened 19 months ago

Closed 19 months ago

Last modified 19 months ago

#8492 closed bug (fixed)

Exception: expectJust cpeBody:collect_args

Reported by: CoreyOConnor Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.6.3
Keywords: Cc:
Operating System: MacOS X Architecture: x86_64 (amd64)
Type of failure: Runtime crash Test Case: typecheck/should_run/T8492
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

  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

Attachments (2)

CollectArgsIssueFailing.hs (155 bytes) - added by CoreyOConnor 19 months ago.
CollectArgsIssuePassing.hs (155 bytes) - added by CoreyOConnor 19 months ago.

Download all attachments as: .zip

Change History (10)

Changed 19 months ago by CoreyOConnor

Changed 19 months ago by CoreyOConnor

comment:1 Changed 19 months ago by CoreyOConnor

installation of ghc was from homebrew: brew install ghc

comment:2 Changed 19 months ago by monoidal

  • Resolution set to duplicate
  • Status changed from new to closed

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.

comment:3 Changed 19 months ago by CoreyOConnor

  • Resolution duplicate deleted
  • Status changed from closed to new

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

comment:4 Changed 19 months ago 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.

comment:5 Changed 19 months ago by CoreyOConnor

Confirmed. Works in HEAD for me as well.

comment:6 Changed 19 months ago by monoidal

  • Resolution set to fixed
  • Status changed from new to closed

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.

comment:7 Changed 19 months ago by Krzysztof Gogolewski <krz.gogolewski@…>

comment:8 Changed 19 months ago by monoidal

  • Test Case set to typecheck/should_run/T8492
Note: See TracTickets for help on using tickets.