k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Update from K VM to K4

From: Derek Sorensen <derek AT pyrofex.net>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Update from K VM to K4
Date: Mon, 2 Jul 2018 14:00:20 -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 just updated from the version of K on the VM available online to K4 on my
local machine. I’m having a bit of trouble kompiling. In particular, I have a
rule

rule <thread> ... <k> ... P1:HigherProc | P2:HigherProc => P1 ... </k> ...
</thread>
(.Bag => <thread> ... <k> P2 </k> ... </thread>)

that throws an error. The problem is the second line, since when I comment it
out it kompiles fine. Is there something like “substitution.k” that I should
be including into my main file to make this kompile with the second line?

Best,
Derek

[[K-user] ] Update from K VM to K4, Derek Sorensen, 07/02/2018