Skip to Content.
Sympa Menu

k-user - Re: [K-user] Two rewrites on the same list

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Two rewrites on the same list


Chronological Thread 
  • 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,
Traian

2014-11-05 19:29 GMT+02:00 Omar Duhaiby <3omarz AT gmail.com>:
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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user





Archive powered by MHonArc 2.6.16.

Top of Page