Rain: changed the comment character for now
This commit is contained in:
parent
6da26e5bf5
commit
bf0dc577a8
|
@ -66,7 +66,7 @@ occam :-
|
||||||
|
|
||||||
-- Ignore whitespace and comments.
|
-- Ignore whitespace and comments.
|
||||||
$white+ ;
|
$white+ ;
|
||||||
"#" [^\n]* ;
|
"###" [^\n]* ;
|
||||||
|
|
||||||
@reserved { mkToken TokReserved }
|
@reserved { mkToken TokReserved }
|
||||||
@identifier { mkToken TokIdentifier }
|
@identifier { mkToken TokIdentifier }
|
||||||
|
|
Loading…
Reference in New Issue
Block a user