]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8499438) | patch
ocean: propagate_types: only set Efail on local err.
authorNeilBrown <neil@brown.name>
Sat, 4 Dec 2021 22:29:23 +0000 (09:29 +1100)
committerNeilBrown <neil@brown.name>
Sat, 4 Dec 2021 22:29:23 +0000 (09:29 +1100)
commit272629ad8689864feba7ae632e838c37c81b6f9f
tree9411ed654e90d0b4784096fa6c6eecc7ef70a4e6tree | snapshot
parent84994383b2207e0f67662ed1bf75c7f5d10767b5commit | diff
ocean: propagate_types: only set Efail on local err.

propagate_types() currently sets Efail if there has been any parse error
at all.  This is wrong.
Instead, keep a count of errors, and only set Efail if that count has increased.

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