k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] matching for a specific Id value?

From: Abdul Dakkak <abduld AT wolfram.com>
To: Ömer Sinan Ağacan <omeragacan AT gmail.com>
Cc: k-user AT cs.uiuc.edu
Subject: Re: [K-user] matching for a specific Id value?
Date: Sun, 15 Sep 2013 23:09:27 -0500 (CDT)
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

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
>

[K-user] matching for a specific Id value?, Ömer Sinan Ağacan, 09/15/2013
- Re: [K-user] matching for a specific Id value?, Abdul Dakkak, 09/15/2013
  - Re: [K-user] matching for a specific Id value?, Ömer Sinan Ağacan, 09/15/2013
    - Re: [K-user] matching for a specific Id value?, Abdul Dakkak, 09/16/2013