On Sun, 16 Oct 2022 16:06:14 +0530, Razetime <rraghu.11502 at gmail.com> wrote: > :- pred main(io::uo,io::di) is det. > How do i make sure the variable is not live? By writing the modes of the arguments the right way around. main's modes should be di/uo, not uo/di. Zoltan.