cleanup_deprecated

8c78f4d1 · charguer · Thomas Wood · 64634dd6 · 8c78f4d1 · 8c78f4d1
Commit 8c78f4d1 authored 9 years ago by charguer Committed by Thomas Wood 8 years ago
--- a/convert-ml-strings.pl
+++ b/convert-ml-strings.pl
--- a/demo_trace.js
+++ b/demo_trace.js
--- a/interp-poc.js
+++ b/interp-poc.js
--- a/interp.js
+++ b/interp.js
--- a/ml-add-cstr-annots.pl
+++ b/ml-add-cstr-annots.pl
--- a/navig-poc.html
+++ b/navig-poc.html
--- a/navig-poc.js
+++ b/navig-poc.js
--- a/navig.html
+++ b/navig.html
--- a/navig.js
+++ b/navig.js
--- a/source-driver.js
+++ b/source-driver.js
--- a/source-poc.js
+++ b/source-poc.js
--- a/test.html
+++ b/test.html
--- a/driver.html
+++ b/driver.html
@@ -183,3 +183,14 @@ $(function() {
+<!---
+var t = []; for (var i = 0; i < 3; i++) { t[i] = function() { return i; } };
+() { return i; }
+t[0]();
+3
+-->
\ No newline at end of file