[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