k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Substitution module causes warning on kompile

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Cc: "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: [K-user] Substitution module causes warning on kompile
Date: Mon, 3 Nov 2014 23:15:11 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

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] Substitution module causes warning on kompile, Omar Duhaiby, 11/03/2014
- Re: [K-user] Substitution module causes warning on kompile, Radu Mereuta, 11/03/2014
- Re: [K-user] Substitution module causes warning on kompile, Dwight Guth, 11/03/2014
  - Re: [K-user] Substitution module causes warning on kompile, Omar Duhaiby, 11/04/2014