k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] configuration variables

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] configuration variables
Date: Wed, 19 Sep 2012 14:52:07 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Do configuration variables currently work or not?

I added a $STATE:Map variable in IMP's state cell and kompile worked. But
when I tried to execute it with

krun programs/sum-novars.imp --STATE="n|->0 s|->10"

I got an error.

This is a nice feature, which would be nice to capture in the IMP tutorial.
If not available yet and not easy to fix, it can wait, but I'd like to know
your take on it.

My plan is to have 5 tutorial parts: LAMBDA, IMP, LAMBDA++, IMP++, and
Special K Features. We can include it in Special K Features if not ready yet.

Thanks,
Grigore

[K-user] configuration variables, Rosu, Grigore, 09/19/2012
- Re: [K-user] configuration variables, Dorel Lucanu, 09/19/2012
  - Re: [K-user] configuration variables, Radu Mereuta, 09/19/2012