continuing to life out types

js-assembler/runtime-src/baselib_boxes.js

@@ -1,8 +1,8 @@
 // Exceptions
 
 (function(baselib) {
-    var exceptions = {};
-    baselib.boxes = exceptions;
+    var exports = {};
+    baselib.boxes = exports;
 
 
     //////////////////////////////////////////////////////////////////////
@@ -25,30 +25,30 @@
 
     Box.prototype.toString = function(cache) {
         cache.put(this, true);
-        return "#&" + toWrittenString(this.val, cache);
+        return "#&" + plt.baselib.format.toWrittenString(this.val, cache);
     };
 
     Box.prototype.toWrittenString = function(cache) {
         cache.put(this, true);
-        return "#&" + toWrittenString(this.val, cache);
+        return "#&" + plt.baselib.format.toWrittenString(this.val, cache);
     };
 
     Box.prototype.toDisplayedString = function(cache) {
         cache.put(this, true);
-        return "#&" + toDisplayedString(this.val, cache);
+        return "#&" + plt.baselib.format.toDisplayedString(this.val, cache);
     };
 
     Box.prototype.toDomNode = function(cache) {
         cache.put(this, true);
         var parent = document.createElement("span");
         parent.appendChild(document.createTextNode('#&'));
-        parent.appendChild(toDomNode(this.val, cache));
+        parent.appendChild(plt.baselib.format.toDomNode(this.val, cache));
         return parent;
     };
 
     Box.prototype.equals = function(other, aUnionFind) {
         return ((other instanceof Box) &&
-	        equals(this.val, other.val, aUnionFind));
+	        plt.baselib.equality.equals(this.val, other.val, aUnionFind));
     };
     
 

js-assembler/runtime-src/baselib_paths.js

@@ -9,7 +9,7 @@
     };
 
     Path.prototype.toString = function() {
-        return this.path;
+        return String(this.path);
     };
 
     //////////////////////////////////////////////////////////////////////

js-assembler/runtime-src/baselib_placeholders.js

@@ -0,0 +1,49 @@
+// Exceptions
+
+(function(baselib) {
+    var exports = {};
+    baselib.placeholders = exports;
+
+
+    // Placeholders: same thing as boxes.  Distinct type just to support make-reader-graph.
+
+    var Placeholder = function(x, mutable) {
+        this.val = x;
+    };
+
+    Placeholder.prototype.ref = function() {
+        return this.val;
+    };
+
+    Placeholder.prototype.set = function(newVal) {
+	this.val = newVal;
+    };
+
+    Placeholder.prototype.toString = function(cache) {
+        return "#<placeholder>";
+    };
+
+    Placeholder.prototype.toWrittenString = function(cache) {
+        return "#<placeholder>";
+    };
+
+    Placeholder.prototype.toDisplayedString = function(cache) {
+        return "#<placeholder>";
+    };
+
+    Placeholder.prototype.toDomNode = function(cache) {
+        var parent = document.createElement("span");
+        parent.appendChild(document.createTextNode('#<placeholder>'));
+        return parent;
+    };
+
+    Placeholder.prototype.equals = function(other, aUnionFind) {
+        return ((other instanceof Placeholder) &&
+	        plt.baselib.equality.equals(this.val, other.val, aUnionFind));
+    };
+
+
+    exports.Placeholder = Placeholder;
+
+
+})(this['plt'].baselib);

js-assembler/runtime-src/types.js

@@ -84,42 +84,6 @@ if (! this['plt']) { this['plt'] = {}; }
 
     //////////////////////////////////////////////////////////////////////
 
-    // Placeholders: same thing as boxes.  Distinct type just to support make-reader-graph.
-
-    var Placeholder = function(x, mutable) {
-        this.val = x;
-    };
-
-    Placeholder.prototype.ref = function() {
-        return this.val;
-    };
-
-    Placeholder.prototype.set = function(newVal) {
-	this.val = newVal;
-    };
-
-    Placeholder.prototype.toString = function(cache) {
-        return "#<placeholder>";
-    };
-
-    Placeholder.prototype.toWrittenString = function(cache) {
-        return "#<placeholder>";
-    };
-
-    Placeholder.prototype.toDisplayedString = function(cache) {
-        return "#<placeholder>";
-    };
-
-    Placeholder.prototype.toDomNode = function(cache) {
-        var parent = document.createElement("span");
-        parent.appendChild(document.createTextNode('#<placeholder>'));
-        return parent;
-    };
-
-    Placeholder.prototype.equals = function(other, aUnionFind) {
-        return ((other instanceof Placeholder) &&
-	        equals(this.val, other.val, aUnionFind));
-    };