]> ocean-lang.org Git - ocean/commit
oceani: setting ->parse_error now aborts type analysis.
authorNeilBrown <neil@brown.name>
Thu, 6 Jun 2019 22:31:07 +0000 (08:31 +1000)
committerNeilBrown <neil@brown.name>
Thu, 6 Jun 2019 22:31:07 +0000 (08:31 +1000)
commit20effd70ff4d91a7501dc062e60caaa9e362bed5
tree713eb11527ac31bf1421aff35b180eda3248002c
parent6e1684630c7e1af7c3f441acbed3acccc543ba2e
oceani: setting ->parse_error now aborts type analysis.

When ever we call type_err() or tok_err(), in type analysis,
we currently need to also set *ok=0;  This is uhly and error-prone.

So instead, we can detect ->parse_error being set, and assume
something is no OK.
This is most easily done in a wrapper for propagate_types.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani.mdc