Add basic label/with parser suport

Author: dy

feature/loop.js

@@ -1,5 +1,5 @@
 // Loops: while, do-while, for, for await, break, continue, return
-import { expr, skip, space, parse, word, parens, cur, idx, operator, compile } from '../parse.js';
+import { expr, skip, space, parse, word, parens, cur, idx, operator, compile, next, seek } from '../parse.js';
 import { body, keyword } from './block.js';
 import { destructure } from './destruct.js';
 import { BREAK, CONTINUE, RETURN } from './control.js';
@@ -34,8 +34,36 @@ keyword('for', STATEMENT + 1, () => {
   return ['for', parens(), body()];
 });
 
-keyword('break', STATEMENT + 1, () => ['break']);
-keyword('continue', STATEMENT + 1, () => ['continue']);
+keyword('break', STATEMENT + 1, () => {
+  parse.asi && (parse.newline = false);
+  const from = idx;
+  space();
+  const c = cur.charCodeAt(idx);
+  if (!c || c === CBRACE || c === SEMI || parse.newline) return ['break'];
+  const label = next(parse.id);
+  if (!label) return ['break'];
+  // Label must be followed by end/semicolon/newline, not another token
+  space();
+  const cc = cur.charCodeAt(idx);
+  if (!cc || cc === CBRACE || cc === SEMI || parse.newline) return ['break', label];
+  // Not a valid label - backtrack
+  seek(from);
+  return ['break'];
+});
+keyword('continue', STATEMENT + 1, () => {
+  parse.asi && (parse.newline = false);
+  const from = idx;
+  space();
+  const c = cur.charCodeAt(idx);
+  if (!c || c === CBRACE || c === SEMI || parse.newline) return ['continue'];
+  const label = next(parse.id);
+  if (!label) return ['continue'];
+  space();
+  const cc = cur.charCodeAt(idx);
+  if (!cc || cc === CBRACE || cc === SEMI || parse.newline) return ['continue', label];
+  seek(from);
+  return ['continue'];
+});
 keyword('return', STATEMENT + 1, () => {
   parse.asi && (parse.newline = false);
   space();

feature/statement.js

@@ -0,0 +1,13 @@
+// Additional JS statements: debugger, with (parse-only)
+// debugger → ['debugger']
+// with (obj) body → ['with', obj, body]
+import { space, parens } from '../parse.js';
+import { keyword, body } from './block.js';
+
+const STATEMENT = 5;
+
+// debugger statement
+keyword('debugger', STATEMENT + 1, () => ['debugger']);
+
+// with statement
+keyword('with', STATEMENT + 1, () => (space(), ['with', parens(), body()]));

jessie.js

@@ -19,6 +19,7 @@ import './feature/if.js';
 import './feature/loop.js';
 import './feature/try.js';
 import './feature/switch.js';
+import './feature/statement.js';  // debugger, with, labeled statements
 
 // Module system
 import './feature/module.js';

test/feature/async-class.js

@@ -97,3 +97,30 @@ test('object: method shorthand', () => {
   const obj = compile(parse('{ double(x) { x * 2 } }'))();
   is(obj.double(5), 10);
 });
+
+// === Additional JS statements ===
+
+test('statement: debugger', () => {
+  is(parse('debugger'), ['debugger']);
+  is(parse('debugger;x'), [';', ['debugger'], 'x']);
+});
+
+test('statement: with', () => {
+  is(parse('with (obj) x'), ['with', 'obj', 'x']);
+  is(parse('with (a.b) { c }'), ['with', ['.', 'a', 'b'], 'c']);
+});
+
+test('statement: break/continue label', () => {
+  is(parse('break'), ['break']);
+  is(parse('break foo'), ['break', 'foo']);
+  is(parse('continue'), ['continue']);
+  is(parse('continue bar'), ['continue', 'bar']);
+  // break followed by keyword should not consume as label
+  is(parse('if (x) break else y'), ['if', 'x', ['break'], 'y']);
+});
+
+test('statement: label (via colon)', () => {
+  // Simple labels work via : binary operator
+  is(parse('foo: x'), [':', 'foo', 'x']);
+  is(parse('foo: { x }'), [':', 'foo', ['{}', 'x']]);
+});