]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c4f8cf) | patch
parsergen: work-around for indent parsing problem.
authorNeilBrown <neilb@suse.de>
Sun, 15 Jun 2014 08:44:14 +0000 (18:44 +1000)
committerNeilBrown <neilb@suse.de>
Sun, 15 Jun 2014 08:44:14 +0000 (18:44 +1000)
commitf0665bd4c3455633f6a489f88464132490aacf37
tree173ea9e2d2e46b856cfd60850dcba640e57e84d7tree | snapshot
parent1c4f8cfc5db843715598120335310472621a49a4commit | diff
parsergen: work-around for indent parsing problem.

These was a problem with my reasoning about parsing indents.
Resolving it properly will take a bit of work, but this little 'fix'
handles an easy case for now.

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