Exceptions and linear values

[Shea Levy]

Hi all,

If an exception is propagated through a function that has not yet
consumed a linear value that it needs to consume, what happens? Is that
resource just leaked?

~Shea

[Hongwei Xi]

Yes, such resources are leaked.

~Shea

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/20140912110020.GB2333%40nixos.hsd1.nh.comcast.net.

[Yannick Duchêne]

Is there a way to check for this?

[Hongwei Xi]

I am not aware of a systematic way to do it.

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/e0561656-9a2f-47a3-8b13-0451647558dd%40googlegroups.com.