[m-rev.] for review: Delete unnecessary foreign_exported procedures.
jfischer at opturion.com
Wed Sep 28 10:25:05 AEST 2016
On Thu, 22 Sep 2016, Peter Wang wrote:
> Is there any reason to keep ML_io_print_to_cur_stream?
There doesn't appear to be.
> ML_io_print_to_stream is only used for some agc debug code in the runtime.
> diff --git a/library/io.m b/library/io.m
> index 1612383..999da31 100644
> --- a/library/io.m
> +++ b/library/io.m
> @@ -4879,13 +4879,6 @@ write_many(Stream, [f(F) | Rest], !IO) :-
> % Various different versions of io.print
The diff looks fine.
More information about the reviews