K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

To me it looks like a bug in our current implementation of ! variables, but I deffer the question to those who implemented this functionality.  Traian, Andrei?

Thank you for reporting such problems, Omar.

Grigore

p.s.  BTW, when you sense a bug, please feel free to report it as a github issue at https://github.com/kframework/k/issues. Some developers watch that issue list more carefully than the k-user list (additionally, nothing gets lost or forgotten there). 

 

---

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of Omar Duhaiby [3omarz AT gmail.com]
Sent: Friday, November 07, 2014 11:51 AM
To: k-user AT cs.uiuc.edu
Cc: Musab A. AlTurki
Subject: Re: [K-user] multiple fresh Ints in one rule

Hello. Can someone help me with this?

On Nov 6, 2014 12:55 PM, "Omar Duhaiby" <3omarz AT gmail.com> wrote:

I didn't have a problem in the older version using the fresh function, but now using '!' like the following example gives the same value twice:

rule <k> iWantChildren </k>

(. => <thread> <tid> !NewId1:Int </tid> </thread>
        <thread> <tid> !NewId2:Int </tid> </thread>
)

this makes two threads with the same value. How should I do it?

Thank you

Omar Alzuhaibi