From b092190c08bd69672a8abc6b27408a5153eb7d03 Mon Sep 17 00:00:00 2001
From: wes <wjak56@gmail.com>
Date: Wed, 1 Jan 2014 04:54:29 -0500
Subject: [PATCH] preliminary support for user-defined operators

---
 tokenize.js | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/tokenize.js b/tokenize.js
index b80e58a..66d0a7f 100755
--- a/tokenize.js
+++ b/tokenize.js
@@ -247,8 +247,13 @@ function tokenize(tokstream) {
         }
 
       case 100: // 'd'
-        var result = peek(tokstream, "def", "def");
-        if (result) {
+        var defop = peek(tokstream, "defop", "defop");
+        if (defop) {
+          tokens.push(["defop", "defop", charnum, linenum]);
+          tokstream = tokstream.substr(5);
+        }
+        var def = peek(tokstream, "def", "def");
+        if (def) {
           tokens.push(["def", "def", charnum, linenum]);
           tokstream = tokstream.substr(3);
           break;