From 73454ab9df8e5b6c6fc3568afe26f458a510f584 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Tue, 17 Jun 2008 11:06:46 +0000
Subject: [PATCH] Handled undefined children in the gflib.js Fun.show()
 function.

This shouldn't really happen, but if it does, debugging is much easier.
---
 javascript/gflib.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/javascript/gflib.js b/javascript/gflib.js
index 6c5b77c6..15be18b3 100644
--- a/javascript/gflib.js
+++ b/javascript/gflib.js
@@ -34,7 +34,7 @@ Fun.prototype.show = function (prec) {
 		var s = this.name;
 		var cs = this.args;
 		for (var i in cs) {
-			s += " " + cs[i].show(1);
+		        s += " " + (isUndefined(cs[i]) ? "undefined" : cs[i].show(1));
 		}
 		if (prec > 0 && cs.length > 0) {
 			s = "(" + s + ")" ;