xml 1.3.7 → 1.3.8

raw patch · 2 files changed

+11/−6 lines, 2 files

Files

• Text/XML/Light/Output.hs +10/−5
• xml.cabal +1/−1

@@ -15,7 +15,9 @@   ( showTopElement, showContent, showElement, showCData, showQName, showAttr   , ppTopElement, ppContent, ppElement   , ppcTopElement, ppcContent, ppcElement-  , ConfigPP, defaultConfigPP, useShortEmptyTags+  , ConfigPP+  , defaultConfigPP, prettyConfigPP+  , useShortEmptyTags, useExtraWhiteSpace   , tagEnd, xml_header   ) where @@ -49,18 +51,21 @@ useShortEmptyTags p c = c { shortEmptyTag = p }  --- | Dpecify if we should Use extra white-space to make document more readable.+-- | Specify if we should use extra white-space to make document more readable. -- WARNING: This adds additional white-space to text elements, -- and so it may change the meaning of the document. useExtraWhiteSpace :: Bool -> ConfigPP -> ConfigPP useExtraWhiteSpace p c  = c { prettify = p } +-- | A configuration that tries to make things pretty+-- (possibly at the cost of changing the semantics a bit+-- through adding white space.)+prettyConfigPP     :: ConfigPP+prettyConfigPP      = useExtraWhiteSpace True defaultConfigPP --------------------------------------------------------------------------------- +-------------------------------------------------------------------------------- -prettyConfigPP     :: ConfigPP-prettyConfigPP      = useExtraWhiteSpace True defaultConfigPP  -- | Pretty printing renders XML documents faithfully, -- with the exception that whitespace may be added\/removed

@@ -1,5 +1,5 @@ Name:            xml-Version:         1.3.7+Version:         1.3.8 Homepage:        http://code.galois.com Synopsis:        A simple XML library. Description:     A simple XML library.