Re: Compiling again!

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

In article <52649@sophia.inria.fr>, Jean-Michel.Hufflen@loria.fr (Hufflen Jean-Michel) writes:

|>    I have tried to compile Lisp functions generated by compiling TYPOL files
|> and used by these TYPOL files (by means of "Lispcall").
|>
|>    First, I have a criticism: I discovered that we must declare res as a global
|> variable, because it seems to me that it is used dynamically by the
|> communication with Mu-Prolog. 

Sorry, I never tried to compile an environment. I will try to thing about it in the
futur (maybe not for 1.3).

|>    Second, I got a strange problem.  Sometimes, the command:
|> 	Loading PSP.
|> crashes with the message:
|> *** sun4 bus error
|> 
|>    It seems to me that this problem occurs when there is not enough available
|> swap.  But it seems more frequent in compiled mode that in interpreted one.

Do someone else have the same problem? I can't see where it come from!

|>    As a last criticism---for today!---the search rules of TYPOL perplexes me,
|> because it searches:
|>    ---the current directory,
|>    ---the "semantics" directories.
|> 
|>    Let us suppose that we have different tools written in TYPOL and using the
|> same formalism.  (These two tools may have be written by different people.)
|> For organizational reasons (avoiding name conflicts, for instance), it is
|> logical to separate locating these two tools in:
|> 	.../semantics/tool-1
|> 	.../semantics/tool-2
|> 
|> but, in this case, the search rules of TYPOL fail.  There is a solution:
|> 
|> 	(with ((current-directory ".../semantics/tool-1"))
|> 	  (#:tool-1:call ...))
|> 
|> 	(with ((current-directory ".../semantics/tool-2"))
|> 	  (#:tool-2:call ...))
|> 
|> which works fine, but is somewhat dirty.

In centaur1.3 it will be possible to put your typol files where you want
using ressources. This will not solve the problem of file name conflicts
but will be convenient (I hope).

Thierry

-- 
Send contributions and compliments to centaur@sophia.inria.fr. Registration
and administrative matters should be sent to centaur-request@sophia.inria.fr.
+---------------------------------------------------------------------------+
|     Thierry Despeyroux      | email: Thierry.Despeyroux@sophia.inria.fr   |
| I.N.R.I.A. Sophia-Antipolis | phone: +33 93 65 77 07 fax: +33 93 65 77 66 |
+---------------------------------------------------------------------------+