k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Traian Florin Șerbănuță <tserban2 AT illinois.edu>
- To: Cosmin Radoi <cos AT illinois.edu>
- Cc: k-user AT cs.uiuc.edu
- Subject: Re: [K-user] Problem with lists
- Date: Sat, 3 Dec 2011 17:45:37 -0600
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
- List-id: <k-user.cs.uiuc.edu>
Could you please provide an attachment?
I think there is some confusion going on with what lists are and where
you can use them. also, it seems you have a space between ... and </
which should not be there.
However, i can't say more without looking at the definition.
best wishes,
- traian.
2011/12/3 Cosmin Radoi
<cos AT illinois.edu>:
>
> We're having problems with a very basic scenario. For some reason, the lists
> are behaving unintuitively.
>
> First:
>
> rule <cell> . => N |-> .List … </cell> ( N is matched as an #Int, there
> is other irrelevant stuff)
>
> Raises the warning:
>
> Didn't expect token …</
>
> Replacing .List with .List{#Int} makes it say it doesn't expect token #Int
>
> If we replace that with:
>
> rule <cell> . => N |-> . … </cell>
>
> it gets past this but breaks a following rule:
>
> rule <cell> … N |-> (. => M … ) … </cell> ( M is matched as an #Int )
>
> with a multiple distinct parses error.
>
> We've played with multiple variations of these rules but they don't seem to
> work. We are trying to make something seemingly simple, a Map with #Int keys
> and List{#Int} values.
>
> Thanks,
>
> Cosmin
>
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>
- [K-user] Problem with lists, Cosmin Radoi, 12/03/2011
- Re: [K-user] Problem with lists, Rosu, Grigore, 12/03/2011
- Re: [K-user] Problem with lists, Traian Florin Șerbănuță, 12/03/2011
- Message not available
- Re: [K-user] Problem with lists, Cosmin Radoi, 12/03/2011
- Message not available
- Re: [K-user] Problem with lists, Cosmin Radoi, 12/03/2011
Archive powered by MHonArc 2.6.16.