Foreshadow encoding of if-equal.

1 files changed, 3 insertions, 1 deletions

diff --git a/sec/encoding.ltx b/sec/encoding.ltx
index 6574dae..a0995c5 100644
--- a/sec/encoding.ltx
+++ b/sec/encoding.ltx
@@ -274,7 +274,8 @@ tail of the list \(t\), is encoded similarly:
 The new list is also one item longer that the old list. When looking
 up an item, we first check if the index is the last in the list. If it
 is, we return the element we are adding to the tail. Otherwise, we
-lookup the index in the old list.
+lookup the index in the old list. We will desugar this comparison in
+the final phase of the encoding.
 
 \TODO{
   \begin{itemize}
@@ -370,6 +371,7 @@ let compose (depth, heap) =
     \item define desugaring of case
     \item define desugaring of map
     \item define desugaring of let
+    \item define desugaring of if-let
   \end{itemize}
 }