[cduce-users] default match policy not working in sequences

Giuseppe Castagna Giuseppe.Castagna at ens.fr
Thu Nov 4 01:59:50 CET 2004


Alain Frisch wrote:
> Giuseppe Castagna wrote:
> 

> I did not invent the / notation; I took it from lex (the lexer 
> generator), where it expresses a constraint on the trailing context.
> 
> Any other suggestion for the syntax ?
>
> Gmrbl :-/
> 

Yes! Nice syntax  [ A :-/ (x:=1) ]

B.





More information about the Cduce-users mailing list