#9390: Inlining prevents evaluation of ignored parts of unboxed tuples -------------------------------------+------------------------------------- Reporter: snoyberg | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.4 Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Incorrect | Difficulty: Unknown result at runtime | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"1fc60ea1f1fd89b90c2992d060aecb5b5a65f8c0/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="1fc60ea1f1fd89b90c2992d060aecb5b5a65f8c0" When desugaring Use the smart mkCoreConApps and friends This is actually the bug that triggered Trac #9390. We had an unboxed tuple (# writeArray# ..., () #), and that writeArray# argument isn't ok-for-speculation, so disobeys the invariant. The desugaring of unboxed tuples was to blame; the fix is easy. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9390#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler