Re: Typol Debugger

[rfraer@babar.inria.fr (Ranan Fraer)]

In article <DSTMay17.130008.13623@sophia.inria.fr>, blazy@rubis.iie.cnam.fr writes:
|> Hi,
|> 
|> I have written a Typol program and I do not manage to use the Typol
|> debugger. Even if I have used the Compile(Db) option, when I run the
|> compiled file from a test program, I immediately get the final result,
|> without seeing the debugger interface.
|> My Typol program has been successfully type checked and written. I have
|> also cheked that the file saved is the one Centaur loads.  The size of the
|> genarated Prolog code is much bigger when the compile/debug option is used.
|> In the Lisp window, I do not see anything saying that the program is
|> compiled in debug mode.
|> 
|> Could you please help me?
|> Thanks in advance!
|> 
|> Sandrine Blazy
|> ------------------------------------------------------
|> IIE-CNAM
|> 18 allée Jean Rostand         ph.: +33 (1) 69 36 73 83
|> 91 025 Evry cedex             fax: +33 (1) 69 36 73 05
|> France                        email: blazy@iie.cnam.fr
|> 

Which function do you use for running the Typol program ?
If you're using ty-run then it should be called as

(ty-run  tool function-name debug [ value1 : : :valuen])

where debug is an expression evaluating to a non-nil value if
you want the Typol program to be executed in debug mode.

If you're using ty-synchronous-run

(ty-synchronous-run  function-name [ value1 : : :valuen])

then you can't run it in debug mode.

Maybe this helps.

Ranan Fraer
INRIA Sophia Antipolis