ui skeleton to interrupt evaluation.

whalesong/repl-prototype/htdocs/index.html

@@ -10,6 +10,6 @@
 
 <div id="output"></div>
 <br/>
-<input id="repl" type="text" style="width:500px"></input>
+<input id="repl" type="text" style="width:500px"></input><img id="break" src="break.png"/>
 </body>
 </html>

whalesong/repl-prototype/htdocs/repl.js

@@ -3,6 +3,10 @@ $(document).ready(function() {
 
     var repl = $("#repl");
     var output = $("#output");
+    var breakButton = $("#break");
+    breakButton.hide();
+    breakButton.click(function() { interruptEvaluation(); });
+
 
     var M = plt.runtime.currentMachine;
 
@@ -49,9 +53,11 @@ $(document).ready(function() {
                     $(this).val("");
                     repl.attr('disabled', 'true');
                     repl.val("... evaluating...");
+                    breakButton.show();
                     evaluate(src, 
                              function() { repl.removeAttr('disabled');
-                                          repl.val("");});
+                                          repl.val("");
+                                          breakButton.hide();});
                 } 
             });
         });
@@ -85,6 +91,10 @@ $(document).ready(function() {
 	}
     };
 
+    var interruptEvaluation = function() {
+        console.log('interrupt evaluation');
+    };
+
 
     // In evaluation, we'll send compilation requests to the server,
     // and get back bytecode that we should evaluate.