From 78e86124a803e06e67130f37da4de67806ef7f3b Mon Sep 17 00:00:00 2001
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Date: Wed, 25 Nov 2015 18:45:28 +0100
Subject: [PATCH] done for the day

---
 generator/js_of_ast.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generator/js_of_ast.ml b/generator/js_of_ast.ml
index 8745461..f6a80a3 100644
--- a/generator/js_of_ast.ml
+++ b/generator/js_of_ast.ml
@@ -286,6 +286,7 @@ with help of
 
 *)
 
+(* LATER: optimize return when it's a value *)
 
 let generate_logged_return ctx sbody = 
   match !current_mode with
-- 
GitLab