K-user mailing list

[Derek Sorensen <derek AT pyrofex.net>]

Hi all,

I’m experiencing a bit of an odd phenomenon. I’m taking something in a k-cell and putting it in a cell of the form <out> … </out>. The rewrite rule is as follows:

rule (<k> C:Chan!(P:HigherProcs) </k> => <out> C!(P) </out>)

When this rewrite occurs, K introduces underscores, back ticks, commas and single quotes intermittently that makes it difficult to read. For example, 

@“chan”!(20)

will rewrite as 

‘@_(“chan”)!`(20`).

K will even sometimes get so weird as to rewrite

for(@ @10!(x) <- chan){ Nil }

as

{for( '@_( '@_(10)!`( #symId("local",, 1)`) ) <- @ {chan} ){

               Nil }}

I’m trying to get an idea with what’s going on so I can keep the syntax clean and nice when it outputs. Any suggestions?

Best,

Derek Sorensen