2.2 Compiling single-module programs

Given a Mercury program that consists of single module, which is stored in a file named e.g. prog.m, you can compile it using the command

mmc prog.m

or, more generally,

mmc option ... prog.m

with one concrete example being

mmc --inhibit-warnings -O3 prog.m

If the single module inside prog.m is also named prog, then you can also compile it using

mmc option ... prog

which specifies the module name, not the (matching) file name.