[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: (Aucun)




In article <37943@sophia.inria.fr>, Eric.Bertelot@irisa.fr (Eric Bertelot) writes:

|> /home/prompto/d3/signal/bertelot/centaur/tables/pascal/sun4OS4/PASCAL: cannot fork: no swap space
|> INTERNAL ERROR : STACK empty You are at WITT'S END
|> Incompatibility between CENTAUR tables and PARSERS tables

There is not enough swap space on your machine to allow the execution of the
pascal parseur.
- kill some useless process
- or add some swap space (on SUN, I think that you can add a swap FILE
  dynamically)
- or use another machine to execute the parseur, adding this line
  to your .centaur.rdb file:

Centaur.PASCAL.SyntaxManager.Syntax.Hostname : name-of-the-machine


|> We have an another small problem with the VTP primitives. 
|> - ADOPT fails and we can't find the reason
|> 
|> ({tree}:adopt ({tree}:make 'PERE)
|>                                               ({tree}:make 'AAA)
|>                                               0
|>                                 )

Check carefully the Centaur documentation. {tree}:make takes as first
argument an operator, not a symbol:

({tree}:make ({name}:operator 'op-name ({name}:formalism 'LANG)) <arg_s> )

In ({tree}:adopt <dad-tree> <son-tree> 0) the operator of dad-tree must
be a list arity operator.

|> - RESTORE fails because it can not find the file we want open
|> 
|>  ({tree}:restore fichier '~/bertelot/centaur/tables/pascal)

"~" is an abbreviation for the home-dir in some shell not in Lisp.

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 |
+---------------------------------------------------------------------------+