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

Problems with a pretty-printer in centaur V1.2




Hello,

  I'm having some problems today and I'd be very happy if someone could
give me some ideas.  I'm passing from the old Centaur version V 0.9 to
V1.2. I recompiled all my files without errors, making the indicated
changes. But now when I want to read a file written with with Centaur
V1.2 in an editor, some files are causing errors in the window from
which Centaur is called. I'm working with MIT X-windows on a Sun Sparc
2 station. Some files can be read correctly and others cannot, without
any (apparent) common error scheme. Can anyone help me, say by giving
me a way to debug that problem?  I think it's a problem with the
pretty printer, but maybe it's something else...
  The error messages are:

 ALPHA_code.ll: loaded
ALPHA_sch: loaded
** toplevel : undefined escape : (abstract_syntax (6 mauvaise_arite ((((ids + (
(ID ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * ((COMME
NT ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * &) (& .
 93)) ((comment 0 string) (& . 92)) ((meta 0 
metavariable) (& . 91)) ((unused 0 singleton) (& . 90)) ((used 0 singleton) (& 
. 89)) ((undefined 0 singleton) (& . 88)) ((
definie 0 singleton) (& . 87)) ((nondefinie 0 singleton) (& . 86)) ((locale 0 s
ingleton) (& . 85)) ((sortie 0 singleton) (& ....
= ()
? ** toplevel : undefined escape : (abstract_syntax (6 mauvaise_arite ((((ids +
 ((ID ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * ((COMME
NT ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * &) (& .
 93)) ((comment 0 string) (& . 92)) ((meta 0 
metavariable) (& . 91)) ((unused 0 singleton) (& . 90)) ((used 0 singleton) (& 
. 89)) ((undefined 0 singleton) (& . 88)) ((
definie 0 singleton) (& . 87)) ((nondefinie 0 singleton) (& . 86)) ((locale 0 s
ingleton) (& . 85)) ((sortie 0 singleton) (& ....
= ()
? ** toplevel : undefined escape : (abstract_syntax (6 mauvaise_arite ((((ids +
 ((ID ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * ((COMME
NT ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * &) (& .
 93)) ((comment 0 string) (& . 92)) ((meta 0 
metavariable) (& . 91)) ((unused 0 singleton) (& . 90)) ((used 0 singleton) (& 
. 89)) ((undefined 0 singleton) (& . 88)) ((
definie 0 singleton) (& . 87)) ((nondefinie 0 singleton) (& . 86)) ((locale 0 s
ingleton) (& . 85)) ((sortie 0 singleton) (& ....
= ()
? ** toplevel : undefined escape : (abstract_syntax (6 mauvaise_arite ((((ids +
 ((ID ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * ((COMME
NT ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * &) (& .
 93)) ((comment 0 string) (& . 92)) ((meta 0 
metavariable) (& . 91)) ((unused 0 singleton) (& . 90)) ((used 0 singleton) (& 
. 89)) ((undefined 0 singleton) (& . 88)) ((
definie 0 singleton) (& . 87)) ((nondefinie 0 singleton) (& . 86)) ((locale 0 s
ingleton) (& . 85)) ((sortie 0 singleton) (& ....
= ()
? INTERNAL ERROR : STACK empty You are at WITT'S END
Incompatibility between CENTAUR tables and PARSERS tables
** loadmodule : load interpreted module : centaur/tables/alpha/pprinters/std
** toplevel : undefined escape : (abstract_syntax (6 mauvaise_arite ((((ids + (
(ID ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * ((COMME
NT ((meta 0 metavariable) (#[ALPHA 0 ((((
comment_s * ((COMMENT ((meta 0 metavariable) (#[ALPHA 0 ((((comment_s * &) (& .
 93)) ((comment 0 string) (& . 92)) ((meta 0 
metavariable) (& . 91)) ((unused 0 singleton) (& . 90)) ((used 0 singleton) (& 
. 89)) ((undefined 0 singleton) (& . 88)) ((
definie 0 singleton) (& . 87)) ((nondefinie 0 singleton) (& . 86)) ((locale 0 s
ingleton) (& . 85)) ((sortie 0 singleton) (& ....
= ()
?
 

Thanks for your help or advices.

Alain.
- - - -----
Alain.Kerihuel@irisa.fr    +33.99.84.73.90 TB-131
IRISA - equipe API - Univ. Rennes I -  35042 Rennes cedex     France