]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f34d371) | patch
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)
commitc7a0514248ec30eeaf225aebd22a7fc2d8fedfad
treea75fb9c4bda2ee0e6570d56a5f28e7970f47016dtree | snapshot
parentf34d3718d70bd38d10eeeb1bb42d0f3e2e6c978bcommit | diff
oceani: improve content in some error messages.

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>
csrc/oceani-tests.mdc diff | blob | history
csrc/oceani.mdc diff | blob | history
The Ocean Language Project