K-user mailing list

[Stephen Chang <stchang AT ccs.neu.edu>]

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>