Changes in doc/theses/andrew_beach_MMath/future.tex [29c9b23:7eb6eb5]

File:

• doc/theses/andrew_beach_MMath/future.tex (modified) (2 diffs)

doc/theses/andrew_beach_MMath/future.tex

@@ -10 +10 @@
 \item
 The implementation of termination is not portable because it includes
-hand-crafted assembly statements. These sections must be ported by hand to
-support more hardware architectures, such as the ARM processor.
+hand-crafted assembly statements. These sections must be generalized to support
+more hardware architectures, \eg ARM processor.
 \item
 Due to a type-system problem, the catch clause cannot bind the exception to a
@@ -24 +24 @@
 scope of the @try@ statement, where the local control-flow transfers are
 meaningful.
-\item
-There is no detection of colliding unwinds. It is possible for clean-up code
-run during an unwind to trigger another unwind that escapes the clean-up code
-itself; such as a termination exception caught further down the stack or a
-cancellation. There do exist ways to handle this but currently they are not
-even detected and the first unwind will simply be forgotten, often leaving
-it in a bad state.
-\item
-Also the exception system did not have a lot of time to be tried and tested.
-So just letting people use the exception system more will reveal new
-quality of life upgrades that can be made with time.
 \end{itemize}