robsimmons/l10 — Issue #9: Unicode not supported in comments
Author: robsimmons
Created: 2011-10-21 22:30:41+00:00
State: open
Labels: core

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