K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

Hmm. Another bizarre bug. Traian, Chucky, and ideas?

Stephen,

Could you please also send us the output of the following command:

maude simple-untyped-compiled.maude .k/krun_tmp/maude_in

Thanks,
David

On Tue, Nov 15, 2011 at 10:34 AM, Stephen Chang 
<stchang AT ccs.neu.edu>
 wrote:
> Here is the requested information. Thanks.
>
>
>> Can you please send us the output of: echo "" | maude
>
> stchang@caprica:~/k-framework/examples/languages/research/simple/untyped$
> echo "" |maude
>                     \||||||||||||||||||/
>                   --- Welcome to Maude ---
>                     /||||||||||||||||||\
>            Maude 2.6 built: Dec  9 2010 18:28:39
>            Copyright 1997-2010 SRI International
>                   Tue Nov 15 11:31:23 2011
> Maude> Bye.
>
>
>> Also, please send us the contents of all of the files in the
>> .k/krun_tmp directory (generated by krun in the current directory).
>
> stchang@caprica:~/k-framework/examples/languages/research/simple/untyped/.k/krun_tmp$
> ls
> maude_err  maude_in  maude_out
>
> stchang@caprica:~/k-framework/examples/languages/research/simple/untyped/.k/krun_tmp$
> cat maude_err
>
> stchang@caprica:~/k-framework/examples/languages/research/simple/untyped/.k/krun_tmp$
> cat maude_in
>
> set show command off .
> erewrite #eval(__((_|->_((# "$PGM"(.List{K})) ,
> ('__('function_`(_`)_(# #id_("factorial")(.List{K}),,'_`,_(#
> #id_("y")(.List{K}),,'.List`{","`}(.List{K})),,'`{_`}('__('var_;('_`,_('_=_(#
> #id_("t")(.List{K}),,#
> 1(.List{K})),,'.List`{","`}(.List{K}))),,'__('print`(_`);('_`,_(#
> "Factorial of "(.List{K}),,'_`,_(# #id_("y")(.List{K}),,'_`,_(# " is:
> "(.List{K}),,'.List`{","`}(.List{K}))))),,'__('`{_`}('__('var_;('_`,_('_=_(#
> #id_("i")(.List{K}),,#
> 1(.List{K})),,'.List`{","`}(.List{K}))),,'while_do_('_<=_(#
> #id_("i")(.List{K}),,# #id_("y")(.List{K})),,'`{_`}('__('_;('_=_(#
> #id_("t")(.List{K}),,'_*_(# #id_("t")(.List{K}),,#
> #id_("i")(.List{K})))),,'_;('_=_(# #id_("i")(.List{K}),,'_+_(#
> #id_("i")(.List{K}),,# 1(.List{K}))))))))),,'return_;(#
> #id_("t")(.List{K}))))))),,'function_`(_`)_(#
> #id_("main")(.List{K}),,'.List`{","`}(.List{K}),,'`{_`}('__('print`(_`);('_`,_(#
> "Input a natural numer:
> "(.List{K}),,'.List`{","`}(.List{K}))),,'print`(_`);('_`,_('_`(_`)(#
> #id_("factorial")(.List{K}),,'_`,_('read`(`)(.List{K}),,'.List`{","`}(.List{K}))),,'_`,_(#
> "\n"(.List{K}),,'.List`{","`}(.List{K}))))))))))),(.).Map))  .
> quit
>
> stchang@caprica:~/k-framework/examples/languages/research/simple/untyped/.k/krun_tmp$
> cat maude_out
> Maude>
>