#5658: Strict bindings are wrongly floated out of case alternatives.
---------------------------------+------------------------------------------
Reporter: benl | Owner: benl
Type: bug | Status: new
Priority: normal | Milestone: 7.4.1
Component: Compiler | Version: 7.2.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Runtime crash
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by rl):
Incidentally, am I correct in assuming that the reason this has only shown
up now is because of the fixes to #4978 which made primops appear cheaper
(too cheap, it seems)? We shouldn't really float array accesses past
bounds checks anyway because if we do, we will be doing unnecessary work
if the check fails. If this is so, then would it make sense to revert the
patch from #4978 that caused this and remove the `can_fail` annotations
again? Note that #5623 is another bug caused by primops being too cheap.
This change seems to have a lot of unintended knock-on effects.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5658#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
