#11383: CAFs lose sharing due to implicit call stacks -------------------------------------+------------------------------------- Reporter: simonmar | Owner: gridaphobe Type: bug | Status: patch Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #11298 | Differential Rev(s): Phab:D1912 Wiki Page: | -------------------------------------+------------------------------------- Comment (by rwbarton): Replying to [comment:7 gridaphobe]:
On a related note, do we have a warning (or less severely, a note) for when we infer a polymorphic type that the monomorphism restriction would have prevented? That might be useful to pair with NoMonomorphismRestriction.
I agree this would be nice; I've always wished the monomorphism restriction was instead a warning like this. There is `-fwarn-monomorphism-restriction`, but it does the reverse: when the monomorphism restriction is on, it warns about bindings that it applies to. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11383#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler