K-user mailing list

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

Prefer is a preference for a particular piece of user syntax. I say by tagging a production with "prefer" that I want to parse something using that production instead of another one in case of an ambiguity. It has no effect on execution order.

On Mon, May 12, 2014 at 11:23 AM, Omar Duhaiby <3omarz AT gmail.com> wrote:

What about the label "prefer"? Doesn't it do the job?

On Mon, May 12, 2014 at 5:26 PM, Radoi, Cosmin A <cos AT illinois.edu> wrote:

We will be implementing strategies this summer. Could you please document your scenario in a github issue so we can go back to it when we have an implementation. Label it with "strategies".

Regarding your way of checking if another rule has matched, I don't think there is a better solution now (somebody correct me if I'm wrong).

Thanks,

Cosmin

On May 12, 2014, at 7:37 AM, Omar Duhaiby <3omarz AT gmail.com> wrote:

> Yes thank you very much. This is what I am currently doing. But I was hoping for a more elegant solution.
> Is there a certain syntax to refer to another rule? because you said I have to check if the other rule does not match, which I do by using an extra cell in the configuration. I didn't like adding many cells that only act as tags for each type of rule.
>
>
> On Mon, May 12, 2014 at 8:40 AM, Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro> wrote:
> Hello,
>
> Currently strategies are not supported, so the short answer would be no.
>
> The "standard" solution would be to that in the rule with lower precedence you explicitly check that the rule with higher precedence does not match.  K might eventually add support for specifying priorities among rules but it currently does not.
>
> best wishes,
> Traian
>
>
> 2014-05-12 3:34 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:

> Hello,
>
> Can I give one rule more precedence than another, so that if both rules match, the one with higher precedence is executed?
>
> Thank you
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>
>
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user

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