K-user mailing list

[Abdul Dakkak <abduld AT wolfram.com>]

I also think you can do this by defining a new syntax class:

syntax SomeId ::= "SomeId"
syntax Id ::= SomeId | Id

rule <k> I:SomeId ... </k>
rule <k> I:Id ... </k>

I would be interested to know if that works or produces ambiguities. If it 
does work, is the side condition method preferred?

-adk-

----- Original Message -----
> From: "Ömer Sinan Ağacan" 
> <omeragacan AT gmail.com>
> To: "Abdul Dakkak" 
> <abduld AT wolfram.com>
> Cc: 
> k-user AT cs.uiuc.edu
> Sent: Sunday, September 15, 2013 11:11:15 PM
> Subject: Re: [K-user] matching for a specific Id value?
> 
> Great, just what I was looking for. Thanks.
> 
> ---
> Ömer Sinan Ağacan
> http://osa1.net
> 
> 
> 2013/9/16 Abdul Dakkak 
> <abduld AT wolfram.com>:
> >
> >
> > you could use side conditions. so
> >
> > rule <k> I:Id ... </k> when Id2String(I) ==String "someId"
> >
> >
> > -adk-
> >
> > ----- Original Message -----
> >> From: "Ömer Sinan Ağacan" 
> >> <omeragacan AT gmail.com>
> >> To: 
> >> k-user AT cs.uiuc.edu
> >> Sent: Sunday, September 15, 2013 11:05:17 PM
> >> Subject: [K-user] matching for a specific Id value?
> >>
> >> Is there a way to match in a rule for a specific Id value?
> >>
> >> An example, like this rule:
> >>
> >>     rule <k> I:Id ... </k>
> >>
> >> I want to match when I is "someId". I looked for Id's syntax
> >> declaration in builtin K files but could't find anything
> >> useful(all I
> >> could find was `syntax Id ::= #Id`)
> >>
> >> Thanks.
> >>
> >> ---
> >> Ömer Sinan Ağacan
> >> http://osa1.net
> >>
> >> _______________________________________________
> >> k-user mailing list
> >> k-user AT cs.uiuc.edu
> >> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
> >>
>