From 557aaf34492c02f6d60a8f29046b72e38c3ffa72 Mon Sep 17 00:00:00 2001 From: David Van Horn Date: Thu, 29 Dec 2022 16:17:29 -0500 Subject: [PATCH] Question on labels in Con notes. --- www/notes/con.scrbl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/www/notes/con.scrbl b/www/notes/con.scrbl index fd7d42ce..d1148b6f 100644 --- a/www/notes/con.scrbl +++ b/www/notes/con.scrbl @@ -217,7 +217,9 @@ branch, then (unconditionally) jump over the then branch code. To accomplish this, we will need two new labels: one for the then branch code and one for the end of the then branch code. The @racket[gensym] function can be used to generate symbols that have not -appeared before. +appeared before. @margin-note{Q: Why should we generate label names +here? What would go wrong if simply used labels like @racket['l0] and +@racket['l1]?} In total, the code for this example would look like: