Changeset 93afb96 for doc/rob_thesis
- Timestamp:
- Mar 29, 2017, 7:31:10 PM (8 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- a4dd728
- Parents:
- 89ae7f4
- Location:
- doc/rob_thesis
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/rob_thesis/ctordtor.tex
r89ae7f4 r93afb96 135 135 % at the global scope (which is likely the most common case) 136 136 % * [9] 137 138 % Move semantics139 % * <ongoing discussion about this. this will be filled in140 % once we come to a consensus>141 137 142 138 % Changes to polymorphic type classes -
doc/rob_thesis/tuples.tex
r89ae7f4 r93afb96 615 615 \end{cfacode} 616 616 Note that due to flattening, @x@ used in the argument position is converted into the list of its fields. 617 In the call to @f@, athe second and third argument components are structured into a tuple argument.617 In the call to @f@, the second and third argument components are structured into a tuple argument. 618 618 619 619 Expressions which may contain side effects are made into \emph{unique expressions} before being expanded by the flattening conversion. … … 643 643 \end{cfacode} 644 644 Since argument evaluation order is not specified by the C programming language, this scheme is built to work regardless of evaluation order. 645 The first time a unique expression is executed, the actual expression is evaluated and the accompanying boolean is trueto true.645 The first time a unique expression is executed, the actual expression is evaluated and the accompanying boolean is set to true. 646 646 Every subsequent evaluation of the unique expression then results in an access to the stored result of the actual expression. 647 647 … … 1299 1299 Thunks 0 through 3 provide wrappers for the @otype@ parameters for @const char *@, while @_thunk4@ translates a call to @print([int, const char *])@ into a call to @print_variadic(int, [const char *])@. 1300 1300 This all builds to a call to @print_variadic@, with the appropriate copy construction of the tuple argument. 1301 1302 \section{Future Work}
Note: See TracChangeset
for help on using the changeset viewer.