Re: To create an error editor

[jmi@columbo.inria.fr (Janet Bertot)]

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