k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] type conversion?

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] type conversion?
Date: Sun, 15 Sep 2013 22:48:06 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi all,

Let's say I have two syntactic categories like this:

syntax Var ::= Id
syntax Name ::= Id

How can I convert a variable's type from Var to Name or the other way
around. An example:

rule N:Name => N:Var

Is there a way to do something similar?

---
Ömer Sinan Ağacan
http://osa1.net

[K-user] type conversion?, Ömer Sinan Ağacan, 09/15/2013