k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] New syntactic category

From: SITTHISAK Pakakorn <pakakorn.s AT jaist.ac.jp>
To: k-user AT cs.uiuc.edu
Subject: [K-user] New syntactic category
Date: Thu, 21 Aug 2014 04:06:58 +0900 (JST)
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi,

If I would like to define my NewId like this.

syntax NewId ::= Lexer{( [A-Za-z][A-Za-z0-9]* | [A-Za-z][A-Za-z0-9]* "_"
[A-Za-z][A-Za-z0-9]*) }

I would like to define function like newIdToString and concatenation function
like

newIdToString( NewId_A1 ) => "NewId_A1"
concat(NewId , A1 ) => NewId_A1

How can I access each character, decompose new syntactical category and
convert to other sorts, like String?

Thank you.

Pakakorn

[K-user] New syntactic category, SITTHISAK Pakakorn, 08/20/2014
- Re: [K-user] New syntactic category, Park, Daejun, 08/22/2014