From 4aee8aabab3c153dd81d12e0022e2b4a03e29f15 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@hashcollision.org>
Date: Mon, 18 Mar 2013 12:24:35 -0600
Subject: [PATCH] whitespace, comments

---
 whalesong/repl-prototype/htdocs/repl.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/whalesong/repl-prototype/htdocs/repl.js b/whalesong/repl-prototype/htdocs/repl.js
index 54de387..a1450c0 100644
--- a/whalesong/repl-prototype/htdocs/repl.js
+++ b/whalesong/repl-prototype/htdocs/repl.js
@@ -9,11 +9,9 @@ jQuery(document).ready(function() {
     var resetButton = jQuery("#reset");
 
 
-
     // The machine.
     var M;
 
-
     var interactionsCount = 0;
 
     var sendOutputToBottom = function() {
@@ -185,6 +183,7 @@ jQuery(document).ready(function() {
             var compiledCodes = compiledResult.compiledCodes;
             forEachK(compiledCodes,
                      function(code, k) {
+                         // Indirect eval usage here is deliberate.
                          var codeFunction = (0,eval)(code);
                          var onGoodEvaluation = function() {
                              var resultList = M.v;
@@ -229,7 +228,6 @@ jQuery(document).ready(function() {
     // Test: compile a module.
     //
 
-
     breakButton.hide();
     breakButton.click(onBreak);
     resetButton.click(onReset);