From d778315b84acb4ac6033a91623d904eb6336243d Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 29 Sep 2010 23:58:32 -0400 Subject: [PATCH] tokens.js: allow / in names Signed-off-by: Jim Pryor --- code/tokens.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/code/tokens.js b/code/tokens.js index 53639a8b..ddf1e89b 100644 --- a/code/tokens.js +++ b/code/tokens.js @@ -81,7 +81,7 @@ String.prototype.tokens = function (prefix, suffix) { for (;;) { c = this.charAt(i); if ((c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') || - (c >= '0' && c <= '9') || c === '_' || c === '-') { + (c >= '0' && c <= '9') || c === '_' || c === '-' || c === '/') { str += c; i += 1; } else if (c === '?' || c === '!') { @@ -90,7 +90,7 @@ String.prototype.tokens = function (prefix, suffix) { i += 1; // make sure next character is not an identifier if ((c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') || - (c >= '0' && c <= '9') || c === '_' || c === '-' || c === '?' || c === '!') { + (c >= '0' && c <= '9') || c === '_' || c === '-' || c === '/' || c === '?' || c === '!') { str += c; i += 1; make('name', str).error("Bad identifier"); -- 2.11.0