From: NeilBrown <neil@brown.name>
Date: Sat, 4 Dec 2021 22:29:23 +0000 (+1100)
Subject: ocean: propagate_types: only set Efail on local err.
X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=commitdiff_plain;h=272629ad8689864feba7ae632e838c37c81b6f9f;hp=272629ad8689864feba7ae632e838c37c81b6f9f

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>
---