<div dir="auto">StrictCheck is very useful, but not in this context—the values I'm looking at are nodes in the spine of a data structure, not values it's storing.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Aug 13, 2020, 2:42 PM Jaro Reinders <<a href="mailto:jaro.reinders@gmail.com">jaro.reinders@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Maybe StrictCheck fits your needs:<br>
<a href="https://hackage.haskell.org/package/StrictCheck" rel="noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/StrictCheck</a>. I haven't used it. I think<br>
there is a paper about it in ICFP 2018.<br>
<br>
On 8/13/20 8:32 PM, David Feuer wrote:<br>
> For testing purposes, I'd like to distinguish between thunks and<br>
> non-thunks, to make sure that everything I require to be forced is. (I'd<br>
> also like to know that nothing that's supposed to be lazy is forced, but<br>
> that seems too hard to test in context.) Is there some magic I can use to<br>
> check?<br>
> <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 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.<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 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>