Re: centaur

[Vincent.Prunet@mirsa.inria.fr (Vincent Prunet)]

quesnot@loria.crin.fr found this piece of Metal code somewhere in the Centaur
sources :

=>          <G_ELEM_SEP_LST> ::= <LOCAL_SEP> <ELEM_SEP_LST> <LOCAL_SEP> ;
=>             elem_sep_s-pre (<LOCAL_SEP>,
=>                           elem_sep_s-post (<ELEM_SEP_LST>, <LOCAL_SEP>))


He (or she) asks how this ambiguous code could work.

This code was extracted from an old version of the system (0.9 released in 89).
It could not work, the correct code is :

=>          <G_ELEM_SEP_LST> ::= <LOCAL_SEP> <ELEM_SEP_LST> <LOCAL_SEP> ;
=>             elem_sep_s-pre (<LOCAL_SEP>.1,
=>                           elem_sep_s-post (<ELEM_SEP_LST>, <LOCAL_SEP>.2))


Vincent Prunet