Re: ty-synchronous-run

[Francis.Montagnac@sophia.inria.fr (Francis Montagnac)]

> dans mon environnement, je demande une evaluation typol par
> la commande "ty-synchronous-run". Or, du au travail effectue,
> typol met apparemment trop de temps pour retourner le resultat,
> d'ou le message d'erreur suivant:
> 
> Error: ** stio-loop : timeout occurred : (#:st-synchronous:mem:#[done ()
> ()])
> 
> avant reception de 
> 
> Info: prolog ( 1 ): yes.
> 
> y-a-t'il moyen de modifier le temps avant declenchement du timeout ??

  This is a known problem: no clean way to increase the timeout when
executing synchronously a program in a slave process of Centaur (like
Eclipse for executing a typol program).

  The following patch should work.  Insert it in your .centaur file or
in one of your Lelisp source files.

----------------------------------------------------------------------
;;; \\ Hack to increase the timeouts when parsing or using 
(unless (typefn 'std-stmem-new-stident)
        (synonymq std-stmem-new-stident stmem-new-stident))

(defvar *timeout-factor* 10)

(defun stmem-new-stident (stmem timeout)
    (std-stmem-new-stident
        stmem (mul (or timeout #:stmem:*default-timeout*) *timeout-factor*)))
----------------------------------------------------------------------

Francis Montagnac, fm@sophia.inria.fr, (33) 04 92 38 79 11
INRIA Sophia, 2004, rte des Lucioles, B.P.93 - 06902 Sophia Antipolis Cedex