% A regression test: mercury-0.4 miscompiled this program.

:- module hello_again.
:- interface.
:- import_module io.

:- pred main(io__state::di, io__state::uo) is det.

:- implementation.
:- import_module solutions.

main --> 
	{ solutions(hello(1, 1), List) },
	io__write_strings(List).

:- pred hello(int::in, int::in, string::out) is nondet.

hello(1,1,"Hello, world\n").		% should output both
hello(1,1,"Hello again, world\n").	% strings

					% ------------------------
					% But it does not seem to:
					% ------------------------
					% 
					% > mc test4
					% > test4
					% Hello, world
					% >
					% 


