[m-users.] Accumulator and mode declaration

[Zoltan Somogyi]

On Wed, 5 May 2021 22:55:11 +0100, "Sean Charles (emacstheviking)" <objitsu at gmail.com> wrote:
> :- pred translate_(
> 	command_line.felt_options::in,
> 	list(string)::in,
> 	list(string)::out,
> 	io::di, io::uo) is det.

This promises that when translate_ succeeds, the third arg
will be ground, but ...

> translate_(_, [], _Acc, !IO) :-
> 	trace [
> 		run_time(env("FELT_DBG")),
> 		io(!Dbg)
> 	]
> 	(io.format("translate_: all done\n", [], !Dbg)).

... as the error message says, this clause does NOT make it ground.

Zoltan.