I'm building a partial parser for the NATURAL programming language. A comment starts with "/*", "* " or "** " and ends together with the line. The latter two patterns are used to mark an entire line as comment, so they may be preceded only by whitespace. For the first type,
parser.ignore("/* " + SkipTo(lineEnd))
works fine. For the second type, I tried
parser.ignore(lineStart + Optional(White(" ")) + "* " + SkipTo(lineEnd))
which works when "* " is at the beginning of the line, but not when it is preceded by spaces.
What am I missing?