K-user mailing list

[Dwight Guth <dwight.guth AT gmail.com>]

Hi Omar,

I apologize, it seems our wires have gotten crossed and Radu misunderstood the nature of your problem. There is indeed an ambiguity in this line in the code which we will correct in the near future.

You said even when you added the relevant parentheses, substitution did not occur. Can you please provide me with a more complete example detailing what you mean? What I need to debug this issue is to be able to know a small K definition and a term containing the substitution operator for which you obtain an incorrect result when you rewrite the term. As far as I am aware, substitution should be working as long as you disambiguate the way that you just did, so if that is not the case I would like to know the details so that we can investigate the issue.

On Mon, Nov 3, 2014 at 2:15 PM, Omar Duhaiby <3omarz AT gmail.com> wrote:

Hello,

I'm using K version 3.5. When I kompile, I get a warning regarding an ambiguity in the following rule at line 264 in substitution.k:
  rule #substitutePlain(K:K, M:Map) => #substitutePlainList(K, M)
    when isId(K) =/=K true orElseBool K in keys(M) =/=K true

It gives two possibilities and arbitrarily chooses the first. So I added parenthesis to the second line making it:
    when (isId(K) =/=K true) orElseBool (K in keys(M) =/=K true)

That made the warning disappear, but substitution is still not happening. I just updated from version I-don't-know-which to 3.5. Substitution was working before. I already found an alternative to using substitution for my case, but I just thought I should report this.

Thank you

Omar Alzuhaibi

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user