From d890a327a793e726b49e74c94bd2b2f247906c88 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Wed, 17 Feb 2021 19:33:48 +0000
Subject: [PATCH] Note

---
 thesis.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/thesis.tex b/thesis.tex
index 22d0cbf..ca6ad62 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -8213,6 +8213,7 @@ corresponding effect handler, which automatically closes open
 resources upon handling the exception-operation by \emph{aborting} the
 resumption of the operation, which would cause resource finalisers to
 run.
+\dhil{Raising exceptions in a linear setting is not well-defined}
 
 \citet{DolanEHMSW17} and \citet{Leijen17a} gave two widely different
 implementations of the async/await idiom using effect