Indentation-sensitive parsing: dedent not working?

[poke1024]

Here is an example modified from https://github.com/ohmjs/ohm/blob/main/examples/indentation-sensitive/index.js, that I would expect to work. Note that Block has been changed to takeExpr+ instead of a single Expr.

import {grammar, ExperimentalIndentationSensitive as IndentationSensitive} from 'ohm-js';

const g = grammar(
	String.raw`
G <: IndentationSensitive {
  IfExpr = "if" Expr ":" Block
  Block = indent Expr+ dedent
  Expr = IfExpr
	   | "True"
	   | "False"
	   | number

  number = digit+
}
`,
	{IndentationSensitive}
);

const examples = [
`
if True:
  3
`,
`
if True:
  if True:
    3
`,
`
if True:
  if True:
    3
  if True:
    3
`
];

for (const s of examples) {
	const r = g.match(s.trim());
	if (!r.succeeded()) {
		console.log("failed on:", s);
		console.log(r.message);
	}
}

The first two examples in examples work, however the third (rather trivial) example gives this error:

Line 4, col 3:
  3 |     3
> 4 |   if True:
        ^
  5 |     3
Expected a dedent

Similarly, any actual dedent onto a previous level seems to issue this problem.

[poke1024]

By the way, running findIndentation on the code gives very reasonable results, namely { '11': 1, '24': 1, '28': -1, '41': 1, '42': -2 }, which are exactly the expected indents and dedents.

[pdubroy]

Interesting...thanks for reporting. Might be a problem with space skipping, but I'll investigate.

[simonwo]

FYI this looks superficially similar to my issue in #465.