Changeset e37db112 for doc/theses
- Timestamp:
- Aug 31, 2021, 1:50:48 PM (3 years ago)
- Branches:
- ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, pthread-emulation, qualifiedEnum
- Children:
- cd03b76d
- Parents:
- 6cf21ed8
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/andrew_beach_MMath/future.tex
r6cf21ed8 re37db112 21 21 capability, programmers will want to use it. Once fixed, this capability should 22 22 result in little or no change in the exception system but simplify usage. 23 \item 24 The @copy@ function in the exception virtual table is an adapter to address 25 some limitations in the \CFA copy constructor. If the copy constructor is 26 improved it can be used directly without the adapter. 23 27 \item 24 28 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 58 62 current ad-hoc correctness requirements. 63 64 Other features of the virtual system could also remove some of the 65 special cases around exception virtual tables, such as the generation 66 of the @msg@ function, could be removed. 59 67 60 68 The full virtual system might also include other improvement like associated
Note: See TracChangeset
for help on using the changeset viewer.