K-user mailing list

[Radu Mereuta <headness13 AT gmail.com>]

Hi Omar,

Thanks for reporting this. Unfortunately we know of this problem.

The issue is in the parser, and the lack of modularity. We deliberately choose a less modular approach in order to bring the execution times to an acceptable level.

My current work involves a complete overhaul of the front end (new parser, new implementation, checks and module operations...).

For now, the solution that you chose (add some extra parenthesis) is good enough.

If you have any more problems of the sort, and can't find a solution to them, you can send an email to this list, and I will try to have a look.

Thanks,

Radu - K Developer.

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