Changeset e37db11


Ignore:
Timestamp:
Aug 31, 2021, 1:50:48 PM (10 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
enum, forall-pointer-decay, jacob/cs343-translation, master
Children:
cd03b76d
Parents:
6cf21ed8
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/andrew_beach_MMath/future.tex

    r6cf21ed8 re37db11  
    2121capability, programmers will want to use it. Once fixed, this capability should
    2222result in little or no change in the exception system but simplify usage.
     23\item
     24The @copy@ function in the exception virtual table is an adapter to address
     25some limitations in the \CFA copy constructor. If the copy constructor is
     26improved it can be used directly without the adapter.
    2327\item
    2428Termination handlers cannot use local control-flow transfers, \eg by @break@,
     
    5761type is a child of another. This check precisely captures many of the
    5862current ad-hoc correctness requirements.
     63
     64Other features of the virtual system could also remove some of the
     65special cases around exception virtual tables, such as the generation
     66of the @msg@ function, could be removed.
    5967
    6068The full virtual system might also include other improvement like associated
Note: See TracChangeset for help on using the changeset viewer.