|
On Wed, Jun 12, 2019 at 12:28 PM Andrew Gierth <andrew@tao11.riddles.org.uk> wrote:>>>>> "Roberto" == Roberto Ierusalimschy <roberto@inf.puc-rio.br> writes:
Roberto> Suggestions are welcome.
Egor suggested <resource>. I think Sean Connor's <cleanup> is better,
but to throw out some other random ideas: <unwind> or <onexit>.+1 to <onexit>. I think I might like it better than <scoped>.<cleanup> and <unwind> aren't bad.