[Haskell-cafe] Is it a thunk?

David Feuer david.feuer at gmail.com
Thu Aug 13 18:55:58 UTC 2020


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.

On Thu, Aug 13, 2020, 2:42 PM Jaro Reinders <jaro.reinders at gmail.com> wrote:

> Maybe StrictCheck fits your needs:
> https://hackage.haskell.org/package/StrictCheck. I haven't used it. I
> think
> there is a paper about it in ICFP 2018.
>
> On 8/13/20 8:32 PM, David Feuer wrote:
> > For testing purposes, I'd like to distinguish between thunks and
> > non-thunks, to make sure that everything I require to be forced is. (I'd
> > also like to know that nothing that's supposed to be lazy is forced, but
> > that seems too hard to test in context.) Is there some magic I can use to
> > check?
> >
> >
> > _______________________________________________
> > 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.
> >
> _______________________________________________
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200813/a7775511/attachment.html>


More information about the Haskell-Cafe mailing list