Accept also * after -- because of TypeOperators

This commit is contained in:
Rik van der Kleij 2019-02-15 11:16:27 +01:00
parent 7e30c1e2f0
commit 5629c0f549
2 changed files with 1292 additions and 1392 deletions

View File

@ -126,7 +126,8 @@ consym_id = {quote}? {colon} ({symbol} | {colon})*
pragma_start = {left_brace}{dash}{hash}
pragma_end = {hash}{dash}{right_brace}
comment = {dash}{dash}{dash}*[^\r\n\!\#\$\%\&\⋆\+\.\/\<\=\>\?\@][^\r\n]* | {dash}{dash}{white_char}* | "\\begin{code}"
// Accept also * after -- because of TypeOperators
comment = {dash}{dash}{dash}*[^\r\n\!\#\$\%\&\⋆\+\.\/\<\=\>\?\@\*][^\r\n]* | {dash}{dash}{white_char}* | "\\begin{code}"
ncomment_start = {left_brace}{dash}
ncomment_end = {dash}{right_brace}
haddock = {dash}{dash}{white_char}[\^\|][^\r\n]* ({newline}{white_char}*{comment})*

File diff suppressed because it is too large Load Diff