This sounds like Edward Yang’s work on resource limits: http://ezyang.com/papers/ezyang13-rlimits.pdf I don’t think the relevant patches ever made it into GHC. https://ghc.haskell.org/trac/ghc/ticket/7763 They weren’t rejected either. It seems like a case that just needs more interested people. On Tue, Dec 12, 2017 at 5:23 AM Johannes Waldmann < johannes.waldmann@htwk-leipzig.de> wrote:
Dear Cafe.
is there an easy way (in GHC Haskell) to run a computation until it (times out or) requires more than X MB of heap?
(the main program has a larger heap, but the computation should use some part of it only)
This would be nice for automated tests
with predictable resources especially (time and space).
There is Control.Timeout. I guess I want Control.Spaceout.
- J.
_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.