Clean up documentation

Author: krame505

doc/libraries_ref_guide/LibDoc/Prelude.tex

@@ -3531,17 +3531,6 @@ \subsubsection{Tuples}
 \end{tabular}
 \end{center}
 
-{\bf Examples}
-
-\begin{verbatim}
-   Tuple2#( Bool, int ) foo = tuple2( True, 25 );
-   Bool field1 = tpl_1( foo ); // this is value 1 in the list
-   int  field2 = tpl_2( foo ); // this is value 2 in the list
-   foo = tuple2( !field1, field2 );
-\end{verbatim}
-
-\paragraph{TupleSize}
-
 \te{TupleSize} provides a way to determine the number of elements in a tuple
 at the type level. The size is represented as a numeric type parameter.
 
@@ -3577,8 +3566,6 @@ \subsubsection{Tuples}
 \end{tabular}
 \end{center}
 
-\paragraph{AppendTuple}
-
 \te{AppendTuple} provides a way to join two tuples of arbitrary size into a single larger
 tuple, and to split a tuple back into two parts.
 
@@ -3591,7 +3578,7 @@ \subsubsection{Tuples}
 
 \begin{libverbatim}
    typeclass AppendTuple #(type a, type b, type c)
-      dependencies (a b determines c);
+      dependencies ((a, b) determines c);
       function c appendTuple(a x, b y);
       function Tuple2#(a, b) splitTuple(c x);
    endtypeclass
@@ -3627,6 +3614,11 @@ \subsubsection{Tuples}
 {\bf Examples}
 
 \begin{verbatim}
+   Tuple2#( Bool, int ) foo = tuple2( True, 25 );
+   Bool field1 = tpl_1( foo ); // this is value 1 in the list
+   int  field2 = tpl_2( foo ); // this is value 2 in the list
+   foo = tuple2( !field1, field2 );
+
    // Appending a 2-tuple and a 3-tuple to create a 5-tuple
    Tuple2#(Bool, Int#(8)) t1 = tuple2(True, 42);
    Tuple3#(String, Bit#(4), UInt#(16)) t2 = tuple3("test", 4'hA, 100);
@@ -3641,7 +3633,7 @@ \subsubsection{Tuples}
    Tuple2#(Tuple2#(Bool, Int#(8)), Tuple2#(String, Bit#(4))) parts =
       splitTuple(t4);
 
-   // Appending with unit type
+   // Appending with unit type (void)
    Tuple2#(Bool, Int#(8)) t5 = tuple2(False, 0);
    Tuple2#(Bool, Int#(8)) t6 = appendTuple(t5, ?);  // same as t5
    Tuple2#(Bool, Int#(8)) t7 = appendTuple(?, t5);  // same as t5

doc/libraries_ref_guide/LibDoc/Vector.tex

@@ -2273,8 +2273,6 @@ \subsubsection{Converting to and from Vectors}
 \hline
 \end{tabular}
 
-\paragraph{ConcatTuple}
-
 The \te{ConcatTuple} type class provides functions to convert between a Vector
 of tuples and a single flattened tuple. When you have a Vector where each
 element is a tuple (or can be viewed as a tuple), \te{concatTuple} flattens
@@ -2291,7 +2289,7 @@ \subsubsection{Converting to and from Vectors}
 
 \begin{libverbatim}
    typeclass ConcatTuple #(numeric type n, type a, type b)
-      dependencies (n a determines b);
+      dependencies ((n, a) determines b);
       function b concatTuple(Vector#(n, a) v);
       function Vector#(n, a) unconcatTuple(b x);
    endtypeclass
@@ -2301,7 +2299,7 @@ \subsubsection{Converting to and from Vectors}
 \begin{itemize}
 \item A vector of size 0 converts to/from the unit type \te{void}
 \item A vector of size 1 converts to/from a single element
-\item Larger vectors convert by flattening: each element is appended to
+\item Larger vectors convert by appending each element tuple to
 form a larger tuple
 \end{itemize}
 
@@ -2330,7 +2328,15 @@ \subsubsection{Converting to and from Vectors}
 \hline
 \end{tabular}
 
-{\bf Example - ConcatTuple}
+{\bf Examples - Lists}
+
+Convert the vector \te{my\_vector} to a list named \te{my\_list}.
+\begin{libverbatim}
+     Vector#(5,Int#(13)) my_vector;
+     List#(Int#(13)) my_list = toList(my_vector);
+\end{libverbatim}
+
+{\bf Examples - Tuples}
 
 Flatten a vector of 3 pairs (2-tuples) into a single 6-tuple:
 \begin{libverbatim}
@@ -2386,15 +2392,6 @@ \subsubsection{Converting to and from Vectors}
 \end{libverbatim}
 
 
-{\bf Example - Converting to and from Vectors}
-
-Convert the vector \te{my\_vector} to a list named \te{my\_list}.
-\begin{libverbatim}
-     Vector#(5,Int#(13)) my_vector;
-     List#(Int#(13)) my_list = toList(my_vector);
-\end{libverbatim}
-
-
 \subsubsection{ListN}
 
 \index{ListN@\te{ListN} (type)}