[m-users.] mercury-rotd-2019-01-03: --debug appears to be broken

Volker Wysk post at volker-wysk.de
Thu Feb 14 03:58:03 AEDT 2019


Hi

I try to compile this "hello world" program with debugging enabled:

:- module hello.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.
:- implementation. 
main(!IO) :-  io.write_string("Hello there!\n", !IO).

With this command:

mmc --debug hello.m

This results in these messages:

mkinit: error opening file `/usr/local/mercury-rotd-2019-01-03/lib/mercury/
modules/asm_fast.gc.debug/mer_rt.init': No such file or directory
mkinit: error opening file `/usr/local/mercury-rotd-2019-01-03/lib/mercury/
modules/asm_fast.gc.debug/mer_std.init': No such file or directory
mkinit: error opening file `/usr/local/mercury-rotd-2019-01-03/lib/mercury/
modules/asm_fast.gc.debug/mer_browser.init': No such file or directory
mkinit: error opening file `/usr/local/mercury-rotd-2019-01-03/lib/mercury/
modules/asm_fast.gc.debug/mer_mdbcomp.init': No such file or directory

To me this looks  like a bug.

Bye
V.W.




More information about the users mailing list