wps

commit a69a28bc04cd71838e5bf26fd5381adfbce0bfbe
parent 043a6ca0c603a8a6028cbe692375c6a6f08d5b66
Author: tomas <tomas@logand.com>
Date:   Sat, 23 Jan 2010 15:15:42 +0100

changes from 2009-09-11

Diffstat:
M
wps.js
 | 
5
+++--

1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/wps.js b/wps.js
@@ -102,12 +102,13 @@ function PsParser() {
   function symbol() {
     // TODO 1e10 1E-5 real numbers
     // TODO radix numbers 8#1777 16#FFFE 2#1000
+    // TODO if preceeded with / then cannot be number
     var C = xchar();
-    if(member(C, "()<>% \t\n")) throw "Symbol expected, got " + C;
+    if(member(C, "()<>/% \t\n")) throw "Symbol expected, got " + C;
     var N = member(C, "+-0123456789.");
     var F = "." == C;
     var L = [C];
-    while(peek() && !member(peek(), "()<>[]{}% \t\n")) {
+    while(peek() && !member(peek(), "()<>[]{}/% \t\n")) {
       C = xchar();
       L.push(C);
       if(N && !member(C, "0123456789")) {