K-user mailing list

[Cosmin Radoi <cos AT illinois.edu>]

We've already partially solved the problem by using a wrapper. I'm attaching the source with where we are now.

As for the errors, no, there was no space in our actual file, just in the email. The error was probably due to the map from int to list.

The original definition didn't contain much else related to this problem than I've copy-pasted here.

Thank you,

Cosmin

On Sat, Dec 3, 2011 at 5:45 PM, Serbanuta, Traian Florin <tserban2 AT illinois.edu> wrote:

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
>

Attachment: kwala.k
Description: Binary data