]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68e3aaa) | patch
scanner: fix up detection of comments blended with marks.
authorNeilBrown <neil@brown.name>
Tue, 3 Jun 2014 11:07:58 +0000 (21:07 +1000)
committerNeilBrown <neilb@suse.de>
Sun, 15 Jun 2014 05:40:03 +0000 (15:40 +1000)
commit6079191042d54828d5c1043d595bc615e50b6124
tree30b8876d4531f0f006d5bc3dbfc26368928d1dcetree | snapshot
parent68e3aaa6278d04e5967d56fdc394ee047fb7cb29commit | diff
scanner: fix up detection of comments blended with marks.

If we see the start of a comment in an unknown mark, we need to
finish the mark before the start of the comment.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/scanner.mdc diff | blob | history
The Ocean Language Project