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

Re: Questions from a new user...





|> Sometimes i would like to do a prolog-restore for a specific langauage only.
|> I want to use the newly generated .pg files without losing the typechecker
|> tables.

If the file to be loaded is foo.pg you can type
({prolog}:send "reload('foo.pg').")
in the Le-Lisp top window.

Warning: if some predicates was defined in the old version of foo.pg
and are no more defined in the new version they will not be suppressed.

|> It would be nice if it were possible to distribute the .ty files
|> to there corresponding language definitions or at least in seperate dictionarys.
|> Currently one must put all in one semantics directory.

If you have defined two formalisms L1 and L2, you can put the semantics
of L1 in L1/semantics and the semantics of L2 in L2/semantics.
Files are searched in a search-path containing all "L" and "L/semantics"
directories. So be careful not to have identical names in different
directories. (it is also possible to declare with #:centaur:user-language
inexistant formalism, humm....)

|> Another nice thing will be a project manager for .ty files.
|> It would trace the import list and recompile all those files whichs
|> imported files have changed.

This is a good suggestion.


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