Changeset e37db112

Timestamp:

Aug 31, 2021, 1:50:48 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, pthread-emulation, qualifiedEnum

Children:

cd03b76d

Parents:

6cf21ed8

Message:

Andrew MMath: Two missing paragraphs in future work about special cases in virtual table generation.

File:

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

doc/theses/andrew_beach_MMath/future.tex

@@ -21 +21 @@
 capability, programmers will want to use it. Once fixed, this capability should
 result in little or no change in the exception system but simplify usage.
+\item
+The @copy@ function in the exception virtual table is an adapter to address
+some limitations in the \CFA copy constructor. If the copy constructor is
+improved it can be used directly without the adapter.
 \item
 Termination handlers cannot use local control-flow transfers, \eg by @break@,
@@ -57 +61 @@
 type is a child of another. This check precisely captures many of the
 current ad-hoc correctness requirements.
+
+Other features of the virtual system could also remove some of the
+special cases around exception virtual tables, such as the generation
+of the @msg@ function, could be removed.
 
 The full virtual system might also include other improvement like associated