From: Jim Pryor <profjim@jimpryor.net>
Date: Thu, 23 Sep 2010 08:05:03 +0000 (-0400)
Subject: tweak lambda evaluator
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=15b7032f306b4635b92feb1a43a33b501f5861d4

tweak lambda evaluator

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/code/parse.js b/code/parse.js
index d9f76ec2..2e0745ba 100644
--- a/code/parse.js
+++ b/code/parse.js
@@ -127,7 +127,6 @@ var make_parse = function () {
     };
 
 
-
     var itself = function () {
         return this;
     };
@@ -163,7 +162,6 @@ var make_parse = function () {
 		function make_lam3(a, b, c, aa) {
 			return make_lam(a, make_lam(b, make_lam(c, aa)));
 		}
-		}
 		function make_app3(aa, bb, cc) {
 			return make_app(make_app(aa, bb), cc);
 		}
@@ -180,13 +178,13 @@ var make_parse = function () {
 		var_table = { u: u, v: v, x: x, s: s, z: z};
 		name_table = {u: uu, v: vv, x: xx, s: ss, z: zz};
 
-		constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))) );
-		constant("K", make_lam2(u, v, uu) );
-		constant("I", make_lam(x, xx) );
-		constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))) );
-		constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)) );
-		constant("W", make_lam2(u, v, make_app3(uu, vv, vv)) );
-		constant("T", make_lam2(u, v, make_app(vv, uu)) );
+		constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))));
+		constant("K", make_lam2(u, v, uu));
+		constant("I", make_lam(x, xx));
+		constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))));
+		constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)));
+		constant("W", make_lam2(u, v, make_app3(uu, vv, vv)));
+		constant("T", make_lam2(u, v, make_app(vv, uu)));
 	}
 	make_constants();