K-user mailing list

[Dorel Lucanu <dlucanu AT info.uaic.ro>]

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