K-user mailing list

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

Hello,

I'm trying to do the following

syntax Val ::= Int
syntax Vals ::= List{Val,","} [strict]
syntax KResult ::= Val | Vals

configuration  
<T>
  <k> $PGM:Vals </k>
  <return> $RET:KResult </return>
</T>

rule <k> V:Val => . ...</k> <return>... . => ListItem(V) </return> [structural]
 
I get this

[Error] Critical: Wrong type in cell 'return'. Expected sort: K but found List

I have three questions:

1. Can I define a type for a config cell without having to put a config variable that I don't need like I did with $RET?

2. How do I append a value to the list?

3. How do I concatenate two lists?

Thank you