[webidl mode] Remove unnecessary pos saving

TimothyGu · marijnh · commit def70631ca7a · 2016-04-07T15:41:38.000+02:00
diff --git a/mode/webidl/webidl.js b/mode/webidl/webidl.js
@@ -122,14 +122,12 @@ function readToken(stream, state) {
   if (stream.match(strings)) return "string";
 
   // identifier
-  var pos = stream.pos;
   if (stream.match(identifiers)) {
     if (state.startDef) return "def";
     if (state.endDef && stream.match(/^\s*;/, false)) {
       state.endDef = false;
       return "def";
     }
-    stream.pos = pos;
   }
 
   if (stream.match(keywords)) return "keyword";

Original file line number	Diff line number	Diff line change
`@@ -122,14 +122,12 @@ function readToken(stream, state) {`
`122`	`122`	`if (stream.match(strings)) return "string";`
`123`	`123`
`124`	`124`	`// identifier`
`125`		`- var pos = stream.pos;`
`126`	`125`	`if (stream.match(identifiers)) {`
`127`	`126`	`if (state.startDef) return "def";`
`128`	`127`	`if (state.endDef && stream.match(/^\s*;/, false)) {`
`129`	`128`	`state.endDef = false;`
`130`	`129`	`return "def";`
`131`	`130`	`}`
`132`		`- stream.pos = pos;`
`133`	`131`	`}`
`134`	`132`
`135`	`133`	`if (stream.match(keywords)) return "keyword";`