5 lines
158 B
Text
5 lines
158 B
Text
|
:- pred greet(string::in, io::di, io::uo) is det.
|
||
|
|
greet(Who, IO0, IO) :-
|
||
|
|
io.write_string("Hello", IO0, IO1),
|
||
|
|
io.format(", %s!\n", [s(Who)], IO1, IO).
|