[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: To create an error editor
- Subject: Re: To create an error editor
- From: jmi@columbo.inria.fr (Janet Bertot)
- Date: 13 Jan 93 10:06:46 GMT
In article <38275@sophia.inria.fr>, hadjrabia@rubis.iie.cnam.fr writes:
=> Dear TYPOL specialists,
=>
=> I have a small question about the "error editor", as the METAL tor he TYPOL
=> type-checker-error editor.
=>
=> How can I use the error editor for a new language ?
=>
=> Yours faithfully,
You should see "The Error Manual", which is found in the Centaur documentation,
vol. 3 The Core. In particular, sections 10 and 11 describing the functions
{error-env}:error-view-create and {error-env}:error-view-update talk about
creating and updating an "error editor".
--janet