k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Two rewrites on the same list

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>, Dwight Guth <dwight.guth AT gmail.com>
Cc: "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: [K-user] Two rewrites on the same list
Date: Wed, 5 Nov 2014 20:29:23 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello,

I'm trying to copy one item from a list and delete the rest of it without deleting the cell. I did this:
<values> ListItem(V:Val) => .List (L:List => .) </values>

The compiler says: Unbounded variable L:Listshould start with ? or !.

Thank you
Omar Alzuhaibi

[K-user] Two rewrites on the same list, Omar Duhaiby, 11/05/2014
- Re: [K-user] Two rewrites on the same list, Traian Florin Şerbănuţă, 11/05/2014
  - Re: [K-user] Two rewrites on the same list, Omar Duhaiby, 11/05/2014