k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro>
- To: Omar Duhaiby <3omarz AT gmail.com>
- Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>, Dwight Guth <dwight.guth AT gmail.com>, "Musab A. AlTurki" <musab AT kfupm.edu.sa>
- Subject: Re: [K-user] Two rewrites on the same list
- Date: Wed, 5 Nov 2014 19:53:52 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
<values> (ListItem(V:Val) => .List) (L:List => .) </values>
Although, the way your rule works, you could probably have only one rewrite:
<values> ListItem(V:Val) _ => . </values>
best wishes,
Traian
2014-11-05 19:29 GMT+02:00 Omar Duhaiby <3omarz AT gmail.com>:
Thank youHello,The compiler says: Unbounded variable L:Listshould start with ? or !.
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>
Omar Alzuhaibi
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user
- [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
- Re: [K-user] Two rewrites on the same list, Traian Florin Şerbănuţă, 11/05/2014
Archive powered by MHonArc 2.6.16.