]> ocean-lang.org Git - ocean/commit
oceani - add error reporting for type errors
authorNeilBrown <neil@brown.name>
Sat, 17 Feb 2018 08:20:53 +0000 (19:20 +1100)
committerNeilBrown <neil@brown.name>
Sat, 17 Feb 2018 08:21:40 +0000 (19:21 +1100)
commit4d2220f65b57e8380d98cd1a4678f0faf2f32916
treeec262f8edf3791e62d5c3ea713a8243c25b93fb0
parent320efcdf3e530d7fa0efef2de18f08f1f2e08274
oceani - add error reporting for type errors

This is still rough, but it is at least a
basis to work on.

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