k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] What is the current status of owise?

From: Mark Hills <markhills1 AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] What is the current status of owise?
Date: Tue, 17 Feb 2015 21:48:50 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

I'm currently creating some rules for processing terms in the LAMBDA tutorial example and am using [owise] on a couple of the rules that handle default cases. I'm just checking to see what the current status of [owise] is, since I thought at some point it wasn't supported, or was only supported on operators marked as [function], but in my case I'm using it with normal K rules and it seems to work fine. It could also be that there is some good way to handle default cases that doesn't use [owise], in which case I would be happy to hear about it.

Best regards,

Mark

[K-user] What is the current status of owise?, Mark Hills, 02/17/2015
- Re: [K-user] What is the current status of owise?, Dwight Guth, 02/18/2015