#14850: mallocBytes allows underflow -------------------------------------+------------------------------------- Reporter: wyager | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Poor/confusing | Unknown/Multiple error message | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by glguy): Switching to Word is more likely to hide mistakes as oversized allocations due to wrap-around. I'd prefer to keep the computations at the Int type and have the check implemented once in mallocBytes than to have to see that check duplicated out to every caller of mallocBytes. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14850#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler