]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50d88f0) | patch
parse trace: report since_newline rather than newline_permitted
authorNeilBrown <neil@brown.name>
Fri, 3 Oct 2014 03:29:42 +0000 (13:29 +1000)
committerNeilBrown <neil@brown.name>
Fri, 3 Oct 2014 03:29:42 +0000 (13:29 +1000)
commit3e0341dcfa9cf6d757bb3e8a4a0cebb9b74bc59e
treecd7cc77fa50a9b99abccb7dd4871f6de4178e8ebtree | snapshot
parent50d88f0943635d7467dc8bdb951bade69920c8dacommit | diff
parse trace: report since_newline rather than newline_permitted

The number in newline_permitted isn't interesting.
The number in since_newline is.  So print that.

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