From 59af2078364d2fc0fdc8af5e7104c9a1de55599d Mon Sep 17 00:00:00 2001 From: Wesley Kerfoot Date: Tue, 18 Jun 2013 12:19:02 -0400 Subject: [PATCH] removed useless function --- tools.js | 16 +--------------- 1 file changed, 1 insertion(+), 15 deletions(-) diff --git a/tools.js b/tools.js index 8535232..f7c5014 100644 --- a/tools.js +++ b/tools.js @@ -14,20 +14,6 @@ function on(g, f) { }; } -//pretty prints expressions! -function pprint(exp) { - //console.log(exp); - //if (exp.func && exp.func - if (exp.func && exp.p) - return "(" + pprint(exp.func) + " " + pprint(exp.p) + ")"; - //return pprint(exp.func); - else if (exp.exprType === "Name") - return exp.val; - else - return exp.val; -} - module.exports = {compose : compose, not : not, - on : on, - pprint : pprint} \ No newline at end of file + on : on}