K-user mailing list

[Omar Duhaiby <3omarz AT gmail.com>]

Hello,

If I have defined Vals as:

syntax Vals ::= List{Val, ","}

syntax Val ::= Int

and I have a cell initiated with ".List" that I want to hold Vals.

".List" is matched when the list is empty, but how do I check if the cell is not empty, i.e., the list has at least one Val?

Also I want to be able to initiate the cell with .Vals instead of .List but the compile refuses.

Thank you