Changeset cb4d825 for doc/rob_thesis

Timestamp:

Mar 27, 2017, 4:54:31 PM (8 years ago)

Author:

Aaron Moss <a3moss@…>

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:

656ee4f

Parents:

58d246a

Message:

Ongoing integration of Rob's tuple material into paper

File:

• doc/rob_thesis/tuples.tex (modified) (1 diff)

doc/rob_thesis/tuples.tex

@@ -87 +87 @@
 Multiple return values are declared as a comma-separated list of types in square brackets in the same location that the return type appears in standard C function declarations.
 The ability to return multiple values from a function requires a new syntax for the return statement.
-For consistency, the return statement in \CFA accepts a common-separated list of expressions in square brackets.
+For consistency, the return statement in \CFA accepts a comma-separated list of expressions in square brackets.
 The expression resolution phase of the \CFA translator ensures that the correct form is used depending on the values being returned and the return type of the current function.
 A multiple-returning function with return type @T@ can return any expression that is implicitly convertible to @T@.