K-user mailing list

[Radu Mereuta <headness13 AT gmail.com>]

I confirm what prof. Lucanu said.

Today I started refactoring with Traian. It went better than expected. We got about half the work done, and I will try and finish it tomorrow.

After everything looks in place, I will start fixing issues, I'm a little behind with this. Fortunately (or not), I don't have to go anywhere next week, so I will have some time to work.

Radu

On Wed, Sep 19, 2012 at 6:55 PM, Dorel Lucanu <dlucanu AT info.uaic.ro> wrote:

We do not have it yet because the parser for configurations and related stuff is not generated. Radu is working on that.
Once this parser is generated, this feature will be included in the krun command.

Dorel

On 9/19/12 5:52 PM, Rosu, Grigore wrote:

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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user