K-user mailing list

[Mihály Palenik <palenik.mihaly AT gmail.com>]

Hello,

I try to create own generator for Pid sort which is:
syntax Pid  ::= "<" Int "." Int "." Int ">"             [token, autoReject]

I try to copy freshId and freshInt functions:
syntax Pid ::= freshPid(Int)    [freshGenerator, function]
rule freshPid(I:Int) => <I.1.1>

Now the function doesn't have more sense but I have one problem. Everywhere where I use !P:Pid the result is <I.1.1>. Why? It is an Int so I think the first number of Pid has to be random.

Thank you your help in advance

Best regards,

Mihály Palenik