:- module testlist. :- interface. :- import_module io. :- pred main(io::di, io::uo) is det. :- implementation. :- import_module list. main(!IO) :- L=[1,2,3], io.write_list(L, "\n", io.write_int, !IO).