[mercury-users] Compiled a library, linked to a program... but no calls are performed

[Fergus Henderson]

On 06-Mar-2003, Ondrej Bojar <oboj7042 at ss1000.ms.mff.cuni.cz> wrote:
> On Fri, 7 Mar 2003, Fergus Henderson wrote:
> > Firstly, are you compiling with `--no-fully-strict'?
> 
> No, I'm not.

Well, in that case the behaviour you describe does sound a bit odd.

> Anyway, other predicates are semidet etc.

Even so, since you're in I/O code, the goal inside `{...}' as a whole
must be det; otherwise the Mercury compiler would report a determinism
error for main/2.  So if `--no-fully-strict' was specified, the Mercury
compiler could optimize away the whole goal inside `{...}', even if it
contained semidet subgoals.

> > Secondly, what happens if you enabled debugging, and step through it with
> > `mdb'.  Do the routines from the library get called then?
> 
> I have no experience with mdb yet. I compiled everything with --trace deep
> (for some reason grade --debug claimed, that there are standard library
> modules missing, so I guess that the debugging grades of --high-level-code
> are not in my rotd-2003-01-29.
> 
> Now I'm trying to 'step into' my program with mdb, however, mdb always
> runs the program without a break.

The --high-level-code back-end does not yet support debugging.

Sorry, my advice assumed that you were using a `--no-high-level-code'
grade by default.  You need to use `--grade asm_fast.gc --debug'
or `--grade none.gc --debug'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------