[mercury-users] Problems with mdb (0.11.0)

[Ian MacLarty]

On 22 May 2005, at 04:34, Valeri Geiser wrote:

> Hello,
>
> I have some problems with the Mercury debugger: It crashes every time 
> in interactive mode. Here is some example output
>
> -------------------------------------------------------
> mdb> query
> ?- [list].
> :- import_module list.
> ?- is_empty([1,2]).
> <stdin>:026: Inferred :- pred query.
> <stdin>:026: Inferred :- mode query is semidet.
>
> *** Mercury runtime: caught segmentation violation ***
> PC at signal: 1083131719 (408f4747)
> address involved: 0xc0000000
> Last trace event was event #1.
> This may have been caused by a stack overflow, due to unbounded 
> recursion.
> exiting from signal handler
> -------------------------------------------------------
>
> I´m running Mercury 0.11.0, builded from source, on an Debian Woody; 
> cause the binary packages do not work with debug compiles (i.e. mmc 
> --debug fails every time).
>

I think you need to compile the file with shared linking for the query 
command to work.  I.e. you need to give the "--mercury-linkage shared" 
option when compiling the file being debugged.

Ian.

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------