K-user mailing list

[Derek Sorensen <derek AT pyrofex.net>]

Hey Xiaohong,

With regards to this, what would I write for the semantics of toString( X ) 
where X:Id?

Best,
Derek

> On May 29, 2018, at 9:07 AM, Derek Sorensen 
> <derek AT pyrofex.net>
>  wrote:
> 
> This does help very much, thank you.
> 
>> On May 24, 2018, at 7:27 PM, Chen, Xiaohong 
>> <xc3 AT illinois.edu>
>>  wrote:
>> 
>> 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
>