K-user mailing list

["Chen, Xiaohong" <xc3 AT illinois.edu>]

Hi Derek,

One possible solution would be to define a symbol

syntax String ::= toString(K)

and define for each language construct their string representation,
which should be straightforward. For example,

rule toString(if B then S1 else S2) 
=> "if" +String "(" +String toString(B) +String ")" +String toString(S1) 
+String toString(S2)

Maybe K has a toString() function built in. You might want to examine
the k-distribution/include/builtin/domains.k to see if there's anything 
related.

Hope it helps.
Xiaohong

-------------------------
Chen, Xiaohong
BSc, Peking University
PhD student, UIUC

________________________________________
From: Derek Sorensen 
[derek AT pyrofex.net]
Sent: Thursday, May 24, 2018 5:28 PM
To: 
k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Quoting in K

Hi all,

I would like to quote something in a rewrite rule—in particular, I would like 
to take two statements S1 and S2 and see if they are equal as strings. Is 
there a way to do this? I would like to define some sort of rule where S1 => 
“S1” in the sense that it’s the string corresponding to the statement S1, but 
no the literal string “S1”.

Any help would be greatly appreciated.

Best,
Derek Sorensen