|
@@ -2059,7 +2059,7 @@ I recommend organizing your code to use a helper function that takes a
|
|
|
list of statements and an initial live-after set (typically empty) and
|
|
list of statements and an initial live-after set (typically empty) and
|
|
|
returns the list of statements and the list of live-after sets. For
|
|
returns the list of statements and the list of live-after sets. For
|
|
|
this chapter, returning the list of statements is unnecessary, as they
|
|
this chapter, returning the list of statements is unnecessary, as they
|
|
|
-awill be unchanged, but in Chapter~\ref{ch:bool-types} we introduce
|
|
|
|
|
|
|
+will be unchanged, but in Chapter~\ref{ch:bool-types} we introduce
|
|
|
\key{if} statements and will need to annotate them with the live-after
|
|
\key{if} statements and will need to annotate them with the live-after
|
|
|
sets of the two branches.
|
|
sets of the two branches.
|
|
|
|
|
|
Ryan Newton