Re: updates to HaXml (1.13.1 and 1.16)

On Mon, 10 Jul 2006, Malcolm Wallace wrote:

Henning Thielemann wrote:

...

...

darcs get http://www.cs.york.ac.uk/fp/darcs/HaXml

I'm currently trying the latest version from the Darcs repository. The Canonicalise* examples output a lot of spaces within tags.

Yes, that is expected behaviour, due to the pretty printer. In order to avoid adding extra whitespace around text (which could be significant), yet still preserve the hierarchical structure of the tree (by indentation), all "structuring" whitespace is placed inside the tags themselves.

I see, but there are more than 1000 space characters in many tags. Thus the document size is multiplied by about 100. I could solve the problem for me by using renderStyle with LeftMode.

I agree it is not ideal behaviour. I would like to offer the possibility of more traditional indentation as well (as an option). No-one has yet coded it however.

I assume that it is difficult to disable nesting locally with the pretty printer, isn't it? We would need that for content enclosed in PRE tags.