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