Commit 91b05052 authored by Simon Marlow's avatar Simon Marlow
Browse files

fix line-comment syntax to not consider '--:' as a comment

See LineCommentSyntax on the wiki, ticket #42
parent 01b05f7f
......@@ -22,7 +22,7 @@ space -> \tr{a space}
tab -> \tr{a horizontal tab}
uniWhite -> \tr{any Unicode character defined as whitespace}
comment -> dashes [ any_{\langle{}symbol\rangle} \{any\} ] newline
comment -> dashes [ any_{\langle{}symbol | @:@\rangle} \{any\} ] newline
dashes -> @--@ \{@-@\}
opencom -> @{-@
closecom -> @-}@
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment