From 337caa185fa51ab81fa896db0dc9671c7599f4fa Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Feb 2022 21:55:59 +0100
Subject: Add a comment

---
 src/PureMicroPasses.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml
index e53bc912..dd2401b9 100644
--- a/src/PureMicroPasses.ml
+++ b/src/PureMicroPasses.ml
@@ -935,7 +935,8 @@ let apply_passes_to_def (config : config) (ctx : trans_ctx) (def : fun_def) :
           ("inline_useless_var_assignments:\n\n" ^ fun_def_to_string ctx def
          ^ "\n"));
 
-      (* Eliminate the box functions *)
+      (* Eliminate the box functions - note that the "box" types were eliminated
+       * during the symbolic to pure phase: see the comments for [eliminate_box_functions] *)
       let def = eliminate_box_functions ctx def in
       log#ldebug
         (lazy
-- 
cgit v1.2.3