k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Quoting in K

From: Derek Sorensen <derek AT pyrofex.net>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Quoting in K
Date: Thu, 24 May 2018 16:28:55 -0600
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=derek AT pyrofex.net; dkim=pass header.d=pyrofex-net.20150623.gappssmtp.com header.s=20150623; dmarc=none

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

[[K-user] ] Quoting in K, Derek Sorensen, 05/24/2018
- RE: [[K-user] ] Quoting in K, Chen, Xiaohong, 05/24/2018
  - Re: [[K-user] ] Quoting in K, Derek Sorensen, 05/29/2018