k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Omar Duhaiby <3omarz AT gmail.com>
- To: traian.serbanuta AT gmail.com
- Cc: 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 21:06:03 +0300
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
You're absolutely right. The first solution worked, and the second is just wonderful. I don't know how I didn't notice it could be that simple. Thank you very much.
On Nov 5, 2014 8:53 PM, "Traian Florin Şerbănuţă" <traian.serbanuta AT fmi.unibuc.ro> wrote:
I think you need to put both of the rewrites in parentheses, though the error message could be more informative, perhaps.<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,Traian2014-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.