From c23aea5a0e3b6c09eb49d86847bb95143d65ea0c Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Wed, 16 Sep 2015 14:04:28 +0100
Subject: [PATCH] program variable had different type assumptions
---
interp.js | 8 ++------
navig.js | 5 -----
2 files changed, 2 insertions(+), 11 deletions(-)
diff --git a/interp.js b/interp.js
index 8d4e773..ab8797f 100644
--- a/interp.js
+++ b/interp.js
@@ -353,9 +353,7 @@ function run_trm(t) {
function run_program(program) {
log_reset();
- for (var i = 0; i < program.length; i++) {
- run_trm_wrap(0, program[i]);
- }
+ run_trm_wrap(0, program);
}
//----------------demo---------------
@@ -394,9 +392,7 @@ var parse = function (source) {
return transform(ast);
}
-var trm1 = parse("((1972 / 29) / 2) + 8");
-
-var program = [trm1];
+var program;
//----------------reporting---------------
diff --git a/navig.js b/navig.js
index c73977f..2825d3c 100644
--- a/navig.js
+++ b/navig.js
@@ -425,11 +425,6 @@ function run() {
}
-// Note: for the demo
-run();
-stepTo(78);
-
-
/* demo
var j = jsheap_of_heap(heap);
--
GitLab