fix line-comment syntax to not consider '--:' as a comment
authorSimon Marlow <marlowsd@gmail.com>
Tue, 7 Nov 2006 16:22:46 +0000 (16:22 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 7 Nov 2006 16:22:46 +0000 (16:22 +0000)
See LineCommentSyntax on the wiki, ticket #42

report/syntax-lexical.verb

index 7cde546..df782b1 100644 (file)
@@ -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       -> @-}@