How to speed up the Typol debugger drastically

[td@capa.inria.fr (Thierry Despeyroux)]

In article <8222@sophia.inria.fr>, mylonakis@lsi.upc.es (Nicos Mylonakis) writes:

=> Our main problem now is that we are working in a 24 Mb main memory 
=> workstation, and it seems to us that the machine is collapsed in some
=> circumstances.

There is a very bad implementation of one of the features of the Typol
debugger that slow down all the process. I don't know right now how
to correct this completely, but, it is possible to suppress this feature
increasing the speed drastically.

This feature is the following. When you examine a variable that is free
and constrained, the Typol debugger give you the list of the delayed
type constraints. For exemple:
--Constrained Free variable-- : ent::ESQUEMA, ent::TIPO

With the following patch, the debugger will tell you that the variable
is free, but will not say that the variable is constrained any more.

Here is the proposed patch.

1- Create a prolog file, where you want, containing one line:

control$gsleep(0).

2- Add the following to your .centaur file, changing the name of
the file accordingly (3 occurences):

(if (nequal (#:centaur:version) "v1.1")
    (progn
     (print "Patch for centaur v1.1 in file .centaur must be removed")
     (print "File /u/falbala/0/croap/td/.centaur-patch.pg must be removed"))

({prolog}:send "[-'/u/falbala/0/croap/td/.centaur-patch.pg'].")
(de {prolog}:restore ()
    ({prolog}:send (catenate "restore('" (prfile-abs-path) "')."))
    ({prolog}:send "$init_symbol.")
    (clrhash {prolog}:functor_hash_table)
    ({prolog}:send "[-'/u/falbala/0/croap/td/.centaur-patch.pg'].")
    )
)


Anyway, the Typol debugger will slow down your computation. A good idea
is to split big specifications. This will allow you to compile only some
files in debug mode.

-- 
+----------------------------------------------------------------------------+
|     Thierry Despeyroux         | email: Thierry.Despeyroux@sophia.inria.fr |
|  I.N.R.I.A. Sophia-Antipolis	 | phone: +33 93 65 77 07		     |
|   2004, Route des Lucioles	 | fax:   +33 93 65 77 66		     |
|           B.P. 109		 | telex: INRIASA 970 050 F		     |
| F-06561 Valbonne Cedex, France |					     |
+----------------------------------------------------------------------------+