kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

unformatted output

opened this issue · comments

Hi

I installed the latest version (4.0.1) and tried to run, the output is fine but not appropriately formatted. The output looks just like below. There is no color, indent, or line break.

$ krun tests/sum-io.imp <T> <k> print ( "Add numbers up to (<= 0 to quit)? " , .AExps ) ; ~> ( n = read ( ) ; ) ~> ( if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! ( n <= 0 ) ) { s = s + n ; n = n + -1 ; } print ( "Sum = " , ( s , ( "\n" , .AExps ) ) ) ; } ) ~> while ( true ) { print ( "Add numbers up to (<= 0 to quit)? " , .AExps ) ; n = read ( ) ; if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! ( n <= 0 ) ) { s = s + n ; n = n + -1 ; } print ( "Sum = " , ( s , ( "\n" , .AExps ) ) ) ; } } </k> <state> s |-> 0 n |-> 0 </state> </T>
When I try --color on option, the output is exactly the same.

When I use version 3.6.0 to run the same file, the output comes in with great formatting.

How can I fix this issue?