From fae11417bfcbf89ac00eab5ac7dec1750f47050f Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 2 May 2025 16:13:06 +0100
Subject: Foreshadow encoding of if-equal.

---
 sec/encoding.ltx | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'sec/encoding.ltx')

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}
 }
 
-- 
cgit v1.2.3

