From: NeilBrown Date: Sat, 20 Nov 2021 00:46:14 +0000 (+1100) Subject: oceani: pass a file to print_value() and related functions. X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;h=617cc1dc6d34f5cdd64758419322fc1165d74868;hp=617cc1dc6d34f5cdd64758419322fc1165d74868;p=ocean oceani: pass a file to print_value() and related functions. print_type receives a file, and a type can contain values, so print_value() should take a file too. Ideally print_exec() would as well, as the value of a function is an exec. Maybe another day. Signed-off-by: NeilBrown ---