repos/tabletprog: types.js comparison

comparison types.js @ 101:5d15b91e738a

Fix paramerized types. Remove debug print calls.

author	Mike Pavone <pavone@retrodev.com>
date	Thu, 09 Aug 2012 08:09:14 -0700
parents	9db0e3533b23
children	92ff9630897a

comparison

equal deleted inserted replaced

-:9db0e3533b23
+:5d15b91e738a
 	}
 	//temporarily set cache entry to true to prevent infinite recursion
 	this.satisfies_cache[type.id] = true;
 	var ret = true;
 	if (type.messages === undefined) {
-		print('type has no messages');
 		ret = false;
 	}
 	if (ret) {
 		for (var msgname in this.messages) {
 			if (!(msgname in type.messages) || !this.messages[msgname].satisfiedBy(type.messages[msgname])) {
-				print(msgname, 'missing in type');
 				ret = false;
 				break;
 			}
 		}
 	}
 	}
 	//temporarily set cache entry to true to prevent infinite recursion
 	this.satisfies_cache[type.id] = true;
 	var ret = true;
 	if (!(type.callable) || this.params.length != type.params.length) {
-		print('type is not callable or param length mismatch');
 		ret = false;
 	}
 	if (ret) {
 		for (var i in this.params) {
 			if (i >= type.params.length || !this.params[i].satisfiedBy(type.params[i])) {
-				print('param ', i, ' is not satisfied');
 				ret = false;
 				break;
 			}
 		}
 	}
 	if (ret) {
 		for (var msgname in this.messages) {
 			if (!(msgname in type.messages) || !this.messages[msgname].satisfiedBy(type.messages[msgname])) {
-				print('message', msgname, 'is not satisfied');
 				ret = false;
 				break;
 			}
 		}
 	}
 	}
 	if (this.id in visited) {
 		return visited[this.id];
 	}
 	var me = visited[this.id] = this.clone();
-	for (var msgname in this.messages) {
+	for (var msgname in me.messages) {
 		me.messages[msgname] = me.messages[msgname].replaceParams(paramtypes, visited);
 	}
+	for (var i in me.params) {
+		me.params[i] = me.params[i].replaceParams(paramtypes, visited);
+	}
+	me.returntype = me.returntype.replaceParams(paramtypes, visited);
 	return me;
 };
 lambdatype.prototype.clone = function() {
 	var clone = new lambdatype();
 	this.b = b;
 	this.id = nexttypeid++;
 	this.satisfies_cache = null;
 }
-uniontype.prototype.lazyinit = function() {
+uniontype.prototype = {
-	if (this.satisfies_cache == null) {
+	lazyinit: function() {
-		this.satisfies_cache = {};
+		if (this.satisfies_cache == null) {
-		this.satisfies_cache[this.id] = true;
+			this.satisfies_cache = {};
-		this.messages = {};
+			this.satisfies_cache[this.id] = true;
-		if (this.a.messages !== undefined && this.b.messages !== undefined) {
+			this._messages = {};
-			for (var msgname in this.a.messages) {
+			if (this.a.messages !== undefined && this.b.messages !== undefined) {
-				if (msgname in this.b.messages) {
+				for (var msgname in this.a.messages) {
-					this.messages[msgname] = mkunion(this.a.messages[msgname], this.b.messages[msgname]);
+					if (msgname in this.b.messages) {
+						this._messages[msgname] = mkunion(this.a.messages[msgname], this.b.messages[msgname]);
+					}
 				}
 			}
-		}
+			this._callable = false;
-		this.callable = false;
+			if (this.a.callable && this.b.callable && this.a.params.length == this.b.params.length) {
-		if (this.a.callable && this.b.callable && this.a.params.length == this.b.params.length) {
+				this._callable = true;
-			this.callable = true;
+				this._params = [];
-			this.params = [];
+				for (var i = 0; i < this.a.params.length; i++) {
-			for (var i = 0; i < this.a.params.length; i++) {
+					this._params.push(mkunion(this.a.params[i], this.b.params[i]));
-				this.params.push(mkunion(this.a.params[i], this.b.params[i]));
+				}
-			}
+				this._returntype = mkunion(this.a.returntype, this.b.returntype);
-			this.returntype = mkunion(this.a.returntype, this.b.returntype);
+			}
 		}
-	}
+	},
-};
+	satisfiedBy: function(type)
+	{
-uniontype.prototype.satisfiedBy = function(type)
+		this.lazyinit();
-{
+		if (type.id in this.satisfies_cache) {
-	this.lazyinit();
+			return this.satisfies_cache[type.id];
-	if (type.id in this.satisfies_cache) {
+		}
-		return this.satisfies_cache[type.id];
+		this.satisfies_cache[type.id] = true;
-	}
+		var ret = this.a.satisfiedBy(type) || this.b.satisfiedBy(type);
-	this.satisfies_cache[type.id] = true;
+		this.satisfies_cache[type.id] = ret;
-	var ret = this.a.satisfiedBy(type) || this.b.satisfiedBy(type);
+		return ret;
-	this.satisfies_cache[type.id] = ret;
+	},
-	return ret;
+	str: function(indent)
-};
+	{
+		if (indent === undefined) {
-uniontype.prototype.str = function(indent)
+			indent = '';
-{
+		}
-	if (indent === undefined) {
+		if (indent.length > 6) {
-		indent = '';
+			return 'max depth reached\n';
-	}
+		}
-	if (indent.length > 6) {
+		return indent + 'Union {\n\t' + indent + this.a.str(indent+'\t') + '\t' + indent + this.b.str(indent+'\t') + indent + '}\n';
-		return 'max depth reached\n';
+	},
-	}
+	replaceParams: function(paramtypes, visited) {
-	return indent + 'Union {\n\t' + indent + this.a.str(indent+'\t') + '\t' + indent + this.b.str(indent+'\t') + indent + '}\n';
+		if (visited === undefined) {
-};
+			visited = {};
+		}
-uniontype.prototype.replaceParams = function(paramtypes, visited) {
+		if (this.id in visited) {
-	if (visited === undefined) {
+			return visited[this.id];
-		visited = {};
+		}
-	}
+		var me = visited[this.id] = this.clone();
-	if (this.id in visited) {
+		me.a = me.a.replaceParams(paramtypes, visited);
-		return visited[this.id];
+		me.b = me.b.replaceParams(paramtypes, visited);
-	}
+		return me;
-	var me = visited[this.id] = this.clone();
+	},
-	me.a = me.a.replaceParams(paramtypes, visited);
+	clone: function() {
-	me.b = me.b.replaceParams(paramtypes, visited);
+		return new uniontype(this.a, this.b);
-	return me;
+	},
-};
+	get messages() {
+		this.lazyinit();
-uniontype.prototype.clone = function() {
+		return this._messages;
-	return new uniontype(this.a, this.b);
+	},
+	get params() {
+		this.lazyinit();
+		return this._params;
+	},
+	get returntype() {
+		this.lazyinit();
+		return this._returntype;
+	},
+	get callable() {
+		this.lazyinit();
+		return this._callable;
+	}
 };
 function mkunion(a, b)
 {
 	},
 	lazyinit: function() {
 		if (!this.replaced) {
 			var childptypes = {};
 			for (var i in this.type.typeparams) {
-				print(this.type.typeparams[i], 'is', this.params[i].str());
 				childptypes[this.type.typeparams[i]] = this.params[i]
 			}
 			this.type = this.type.replaceParams(childptypes, {});
 			this.replaced = true;
 		}