Ignore:
Timestamp:
Apr 26, 2021, 4:37:36 PM (4 years ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
edc6ea2
Parents:
5456537
Message:

Andrew MMath: Switch from common.tex to cfalab.sty. Still work to do but it is almost everything I had before.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/andrew_beach_MMath/features.tex

    r5456537 rdf24d37  
    2020\subparagraph{Raise}
    2121The raise is the starting point for exception handling. It marks the beginning
    22 of exception handling by \newterm{raising} an excepion, which passes it to
     22of exception handling by raising an excepion, which passes it to
    2323the EHM.
    2424
    … …  
    235235Both traits ensure a pair of types are an exception type and its virtual table
    236236and defines one of the two default handlers. The default handlers are used
    237 as fallbacks and are discussed in detail in \VRef{s:ExceptionHandling}.
     237as fallbacks and are discussed in detail in \vref{s:ExceptionHandling}.
    238238
    239239However, all three of these traits can be tricky to use directly.
    … …  
    351351for particular exception type.
    352352The global default termination handler performs a cancellation
    353 \see{\VRef{s:Cancellation}} on the current stack with the copied exception.
     353(see \vref{s:Cancellation}) on the current stack with the copied exception.
    354354
    355355\subsection{Resumption}
    … …  
    426426
    427427\subsubsection{Resumption Marking}
     428\label{s:ResumptionMarking}
    428429A key difference between resumption and termination is that resumption does
    429430not unwind the stack. A side effect that is that when a handler is matched
Note: See TracChangeset for help on using the changeset viewer.