IQ and "--trace deep"
Erwan Jahier
Erwan.Jahier at irisa.fr
Thu Apr 15 08:58:58 AEST 1999
Hello.
Is interactive queries stuff intended to be used from a program compiled
with "--trace deep" ?
If yes, it does nor seem to work:
$ mmake queens.depend
$ mmake queens.int
$ mmake --debug queens
$ mdb queens
mdb> query queens list
?- append(X, Y, ['a', 'b', 'c']).
[...]
That works fine.
But then if I do:
$ mmc --trace deep queens
$ mdb queens
$ query queens list
mdb> query queens list
?- append(X, Y, ['a', 'b', 'c']).
<stdin>:026: Inferred :- pred query((list:list(character)), (list:list(character))).
<stdin>:026: Inferred :- mode query(out, out) is multi.
dlopen failed: /averell/jahier/mercury-compiler-rotd-1999-04-04/lib/mercury/lib/i686-pc-linux-gnu/libgc.so: undefined symbol: __data_start
I would prefer if it is a bug since I still doesn't find a way to get programs
compiled with "--debug" running under the control of Opium-M :-( and I'd like to
be able to test my Interactive Queries for Opium_M stuff...
--
R1.
More information about the developers
mailing list