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