[m-rev.] for review: Delete unnecessary foreign_exported procedures.

[Julien Fischer]

Hi Peter,

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.

Julien.