#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): The return/pure thing presumably arises because we have `return = pure`, or vice versa, and one is "shorted out" in favour of the other. See `SimplCore.shortOutIndirections`. Would someone like to see if this is true? If someone cares to confirm this, then perhaps `shortOutIndirections` could choose whether to elminate `return` or eliminate `pure` based on a lexicographic comparison of their names? Would someone like to see if this would work? Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/4012#comment:81 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler