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.