As a result of moving to the cmlex infrastructure, examples/RegexpNot2.l10, which uses unicode in comments, treats the appearance of the unicode symbol at line 4:4 as an end of file.
// Adding negation to regular expressions
// Figure 5 from the L10 paper, which is contained in the file RegexpNot.l10,
// matches the strings "daa" and "baa" against the regular expression
// ¬(b|c)(a+). Somewhat unexpectedly, this regular expression matches both
As a result of moving to the cmlex infrastructure, examples/RegexpNot2.l10, which uses unicode in comments, treats the appearance of the unicode symbol at line 4:4 as an end of file.