K-user mailing list

[soha hussein <husseinsoh AT gmail.com>]

Thanks Traian and Dorel,

It was a confusing to me also because in the tutorial it was called --no-config. So, --output-mode none option is working, but not quite as i was expecting. I am not sure if this is a bug or if it was not written for this purpose. I would appreciate your feedback on that.

What i want is to collect the typing derivations in the stdout cell. This means that it is going to be a list of items of sort k. The problem is that, if i put items of sort builtins in the stdout cell (i tried int and string) the --output-mode none option works fine. However if i put something of sort k in the listItem, no output is displayed when i call krun with the output-mode none, even though without the --output option i can see that the out cell indeed contains the list item of sort k. 

I tried that on the lambda.k tutorial 1, lesson 6, i modified it to have it output the val "which could  be a lambda" in the out cell. Again the same thing happens there.

Is this a bug and a cell defined as stdout can contain a list of any sort or there is something that i am missing. Is there a quick fix for me that i can follow to do it.

Thank you,

-Soha

On Oct 31, 2013, at 2:10 PM, Traian Florin Șerbănuță <traian.serbanuta AT info.uaic.ro> wrote:

I was alsosurprised to see that we have no "non-experimental" option for not displaying the configuration anymore.  

One could say it is quite an essential feature for obtaining an interpreter-like behavior from krun (and we advertize krun as generating interpreters).

Not to say that sometimes the final configuration is just too big to comprehend.

best wishes,

Traian

2013/10/31 Dorel Lucanu <dlucanu AT info.uaic.ro>

The option is
   --output-mode <mode>      How to display Maude results. <mode> is either
                              [pretty|raw|binary|none]. (Default: pretty).
and it is experimental. I guess you want "--output-mode none". Type

krun -X

for displaying the experimental options.

Dorel

On 10/31/13 12:17 PM, soha hussein wrote:

Hi,

I have another problem, I am trying to use the --no-config option in the krun but it isn't there in the nightly version nor in the stable version, isn't it supported anymore? I noticed there is another option "--io[on|off]",  is it replacing the --no-config? i tried using it but it is giving me errors as well. I tested both options on the tutorial imp++ lesson 4, running io.imp program. Any help would be appreciated.


Thank you,

Soha
_______________________________________________
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

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