diagram for R7

book.tex

@@ -11035,8 +11035,9 @@ completion without error.
 \node (R4-2) at (3,4)  {\large $R_7$};
 \node (R4-3) at (6,4)  {\large $R_7$};
 \node (R4-4) at (9,4)  {\large $R'_7$};
-\node (R4-5) at (12,2)  {\large $R'_6$};
-\node (R4-6) at (12,0)  {\large $R'_6$};
+\node (R4-5) at (9,2)  {\large $R'_6$};
+\node (R4-6) at (12,2)  {\large $R'_6$};
+\node (R4-7) at (12,0)  {\large $R'_6$};
 
 \node (F1-2) at (9,0)  {\large $R'_6$};
 \node (F1-3) at (6,0)  {\large $R'_6$};
@@ -11057,13 +11058,15 @@ completion without error.
 \path[->,bend left=15] (R4-2) edge [above] node
      {\ttfamily\footnotesize uniquify} (R4-3);
 \path[->,bend left=15] (R4-3) edge [above] node
-     {\ttfamily\footnotesize\color{red} reveal-functions} (R4-4);
-\path[->,bend left=15] (R4-4) edge [right] node
+     {\ttfamily\footnotesize reveal-functions} (R4-4);
+\path[->,bend right=15] (R4-4) edge [left] node
      {\ttfamily\footnotesize\color{red} cast-insert} (R4-5);
-\path[->,bend left=15] (R4-5) edge [left] node
-     {\ttfamily\footnotesize\color{red} reveal-casts} (R4-6);
+\path[->,bend left=15] (R4-5) edge [above] node
+     {\ttfamily\footnotesize\color{red} check-bounds} (R4-6);
+\path[->,bend left=15] (R4-6) edge [left] node
+     {\ttfamily\footnotesize\color{red} reveal-casts} (R4-7);
      
-\path[->,bend left=15] (R4-6) edge [below] node
+\path[->,bend left=15] (R4-7) edge [below] node
      {\ttfamily\footnotesize convert-to-clos.} (F1-2);
 \path[->,bend right=15] (F1-2) edge [above] node
      {\ttfamily\footnotesize limit-fun.} (F1-3);