k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Otherwise-like rules

From: Everett Hildenbrandt <hildenb2 AT illinois.edu>
To: <daparpon AT dsic.upv.es>
Cc: <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Otherwise-like rules
Date: Mon, 13 Mar 2017 09:46:09 -0500

Perhaps you are looking for the `[owise]` rule attribute?

If you clone the repo <https://github.com/kframework/k>, the tutorial at
`k-distribution/tutorial/2_languages/3_fun/1_untyped/1_environment/` contains
an
example usage.

Everett H.

On Mon, Mar 13, 2017 at 07:07:21AM -0500,
daparpon AT dsic.upv.es
wrote:
> Hi! I am implementing an auxiliary function within my language specification
> in K, and I would need some kind of "otherwise" rule (as in declarative
> programming). That is, a rule that only applies when none of the other rules
> (cases) match with the current configuration. Is there any way to specify
> this
> in K? For instance, by tagging the rule with a specific attribute, etc.
>
> Thanks in advance,
> Daniel

[[K-user] ] Otherwise-like rules, daparpon, 03/13/2017
- Re: [[K-user] ] Otherwise-like rules, Everett Hildenbrandt, 03/13/2017
  - Re: [[K-user] ] Otherwise-like rules, daparpon, 03/14/2017
    - Re: [[K-user] ] Otherwise-like rules, Park, Daejun, 03/14/2017