Changeset 865249a for doc/refrat

Timestamp:

Sep 19, 2015, 8:32:30 AM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

a188b16

Parents:

ce6c57c

Message:

correct error

File:

• doc/refrat/refrat.tex (modified) (5 diffs)

doc/refrat/refrat.tex

@@ -4086 +4086 @@
 case 1~5:
 \end{lstlisting}
-The multiple subranges are allowed:
+Multiple subranges are allowed:
 \begin{lstlisting}
 case 1~4, 9~14, 27~32:
 \end{lstlisting}
-
-The \lstinline$case$ and \lstinline$default$ clauses are restricted within the \lstinline$switch$
-and \lstinline$choose$ statements, precluding Duff's device.
+The \lstinline$case$ and \lstinline$default$ clauses are restricted within the \lstinline$switch$ and \lstinline$choose$ statements, precluding Duff's device.
 
 
@@ -4112 +4110 @@
 choose ( E ) ...
 \end{lstlisting}
-may have more than one interpretation, but it shall have only one interpretation with an integral
-type. An \Index{integer promotion} is performed on the expression if necessary.  The constant
-expressions in \lstinline$case$ statements with the switch are converted to the promoted type.
+may have more than one interpretation, but it shall have only one interpretation with an integral type.
+An \Index{integer promotion} is performed on the expression if necessary.
+The constant expressions in \lstinline$case$ statements with the switch are converted to the promoted type.
 
 
@@ -4122 +4120 @@
 The \lstinline$choose$ statement is the same as the \lstinline$switch$ statement except control transfers to the end of the \lstinline$choose$ statement at a \lstinline$case$ or \lstinline$default$ labeled statement.
 The \lstinline$fallthru$ statement is used to fall through to the next \lstinline$case$ or \lstinline$default$ labeled statement.
-
 The following have identical meaning:
 \begin{flushleft}
@@ -4147 +4144 @@
 \end{tabular}
 \end{flushleft}
-The \lstinline$choose$ statement addresses the problem of accidental fall-through associated with
-the \lstinline$switch$ statement.
+The \lstinline$choose$ statement addresses the problem of accidental fall-through associated with the \lstinline$switch$ statement.
 
 
@@ -4182 +4178 @@
 \end{syntax}
 
-Labeled \lstinline$continue$ and \lstinline$break$ allow useful but restricted control-flow that
-reduces the need for the \lstinline$goto$ statement for exiting multiple nested control-structures.
+Labeled \lstinline$continue$ and \lstinline$break$ allow useful but restricted control-flow that reduces the need for the \lstinline$goto$ statement for exiting multiple nested control-structures.
 \begin{lstlisting}
 L1: {                                                   // compound