From 9c7e038237948882afa16677f9b0d5a8a530b07a Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 17 Oct 2010 14:44:12 -0400 Subject: [PATCH 1/1] code cleanup Signed-off-by: Jim Pryor --- code/lambda.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/code/lambda.js b/code/lambda.js index 89bd21b5..d4e3a5ef 100644 --- a/code/lambda.js +++ b/code/lambda.js @@ -293,16 +293,16 @@ function Lambda_lam(variable, body) { return new Db_lam(this.body.debruijn(new_seq)); }; this.to_string = function (as_atom) { - var base = "\\" + this.to_string_funct(); + var base = "\\" + this.to_dotted(); if (as_atom) { return "(" + base + ")"; } else { return base; } }; - this.to_string_funct = function () { - if (this.body.to_string_funct) { - return this.bound.to_string() + " " + this.body.to_string_funct(); + this.to_dotted = function () { + if (this.body.to_dotted) { + return this.bound.to_string() + " " + this.body.to_dotted(); } else { return this.bound.to_string() + ". " + this.body.to_string(); } -- 2.11.0