]> ocean-lang.org Git - ocean/commitdiff
oceani: improve content in some error messages.
authorNeilBrown <neil@brown.name>
Mon, 6 Dec 2021 06:29:32 +0000 (17:29 +1100)
committerNeilBrown <neil@brown.name>
Wed, 8 Dec 2021 04:56:46 +0000 (15:56 +1100)
In particular:
  use new_pos() instead of new() where appropriate
  set where_set where necessary
  set type name properly in anon types

Signed-off-by: NeilBrown <neil@brown.name>

No differences found