search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

pretty printer -- map entries are no longer printed one per line on unified-builtins2 #705

Closed yilongli closed 9 years ago

yilongli commented 10 years ago

This is not the case a few weeks ago. Is this the expected behavior right now? I like one entry per line much better.

yilongli commented 10 years ago

@dwightguth It might be related to your recent changes to UnparserFilterNew. Can you take a look?

dwightguth commented 10 years ago

This is the best we can do now because they are pretty printed as TermCons the same as anything else. In order to improve this, it will be necessary to implement something like Maude's format attribute. We will have to find someone who has the time and interest to work on this if we want this to improve. I still maintain we should find someone to primarily own the pretty printer, because I do not have time anymore to do it myself.

tl;dr: expected behavior for now until we have more developer resources

On Sun, Jul 6, 2014 at 2:08 AM, Yilong Li notifications@github.com wrote:

@dwightguth https://github.com/dwightguth It might be related to your recent changes to UnparserFilterNew. Can you take a look?

— Reply to this email directly or view it on GitHub https://github.com/kframework/k/issues/705#issuecomment-48104799.

yilongli commented 10 years ago

@dwightguth Did you fix this in https://github.com/kframework/k/pull/836?