K-user mailing list

[Radu Mereuta <headness13 AT gmail.com>]

Hi,

Sorry for the late reply. At the moment we are in the process of overhauling the syntax of K and I had to fix a few things in order to allow you to write that types of strings.

I've pushed a change that will soon be approved and you could define your own strings with something like this:

syntax MyString ::= Token{"'" ((~[\'\n\r\\])|([\\]~[\n\r]))* "'"}

You can check here when the changes will be available in the master branch: https://github.com/kframework/k/pull/317

(I think it's going to be a matter of hours)

Thanks for reporting the issue,

Radu

K developer

On Wed, Mar 26, 2014 at 11:03 PM, SITTHISAK Pakakorn <pakakorn.s AT jaist.ac.jp> wrote:

Hi,

I am new user of K.
I am thinking of parsing String format on my language.

"string" and 'string'

I would like String buildin to accept this 'string' too.
Could anybody suggest me how to deal with or give me related site I could check?

Thank you in advance.

Regards
Pakakorn




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