HaXml change log

Changes in 1.21

• Improved support for XML namespaces. You can now resolve namespace prefixes to their URI in a single API call, or likewise remove all namespace qualifications.
• New support for XML Schema Definition (XSD), with a translator from XSD to Haskell datatypes, similar to the existing DtdToHaskell translator.

Changes in 1.20

• The time has come to declare 1.20 the new stable version.
• Fixes a runtime-crash bug in Xtract.
• Fiddles with the pretty-printing to make it more correct on mixed text and references (e.g. character escapes).
• 1.20.1 fixes a stack-overflow in code generated by DtdToHaskell.
• 1.20.2 adds a --version and --help argument to all executables.

Changes in 1.19

• Improved the lazy XML parsing, and fixed some space leaks in the XtractLazy tool.
• Version 1.19.2 updates the Cabal file to enable HaXml to build with both ghc-6.6.x and ghc-6.8.x.
• Version 1.19.4 fixes an incompatibility with some versions of the Bytestring package. Also has a bugfix in the DTD validator, and adds some new utility functions in Text.XML.HaXml.Util.
• Version 1.19.5 adds XmlContent instances for larger (up to 15-) tuples. It also fixes a couple of bugs in DtdToHaskell, when dealing with larger datatypes (more than 26 components) and duplicate ATTLIST specifications.
• Version 1.19.6 fixes some tag-name bugs when converting datatypes generated by DtdToHaskell back into an XML file value.
• Version 1.19.7 requires package polyparse-1.2 (earlier versions require polyparse-1.1).

Changes in 1.18

• Removed all the Text.ParserCombinator.* libraries into a separate package polyparse, which must now be installed prior to HaXml.
• New Feature: functions for pretty-printing to Data.ByteString.
• Bugfix: Xtract on HTML documents used to downcase both the document tags and the query string. But in fact only the tag-matching parts of the query should be downcased. In particular, attribute values now remain case-sensitive.
• Bugfix: Xtract did not match attribute values that contained any kind of entity reference (general or character). Now matches correctly.
• More fixes to the non-Cabal route for building/installing with ghc-6.6.
• Changed the name of the Xtract combinators to match the ordinary combinators.

Changes in 1.17

• New: lazier pretty-printer
  • Text.XML.HaXml.ShowXmlLazy
• Works with ghc-6.6 (changed uses of Data.FiniteMap to Data.Map).
• A bunch of minor bugfixes.

Changes in 1.16

• New: lazier parsers
  • Text.XML.HaXml.ParseLazy
  • Text.XML.HaXml.Html.ParseLazy
  • Text.ParserCombinators.PolyLazy
  • Text.ParserCombinators.PolyStateLazy
• New: lazier tools
  • CanonicaliseLazy
  • XtractLazy
• New: API call "xmlParseWith"
• Bugfix: to permit percent character in attribute values.
• Bugfix: to parse unquoted attribute values starting '+' or '#' in HTML.
• Bugfix: to keep the original DTD in output of 'processXmlWith'.
• Bugfixes: to configuration/build systems.
• Bugfix: DtdToHaskell nows avoids generating types whose names clash with existing (Prelude,HaXml) types

Changes in 1.15

• New: DrIFT and DtdToHaskell have now both been fully updated to produce instances of XmlContent.
• New: the parser combinator library Poly has been split into two variations, Poly and PolyState. They have almost the same API, only the latter includes a running state where the former does not.
• The TextParser library (a replacement for the Haskell'98 Read class) has also been improved with more new combinators. Really, these parser combinator experiments do not belong in HaXml, and will eventually be split out into a separate package.

Changes in 1.14

• New: Completely replace the Xml2Haskell and Haskell2Xml modules. They are now combined into a single class called XmlContent. This makes the secondary parsing of generic XML trees to typed values more robust, with better error messages, etc. DrIFT and DtdToHaskell are being updated to both produce instances of XmlContent, depending on whether you start from Haskell or from the DTD. (not yet complete)
• New: a SAX-like stream parser for XML events.
• Improve the content handling that corresponds to an ANY contentspec. (Now represented as an existential type.)
• Bugfix: accept attribute values containing the % character, without starting a PERef.
• Bugfix: for expanding PERefs correctly in entity values.
• The DTD for SVG (Scalable Vector Graphics) now goes through DtdToHaskell successfully.

Changes for 1.13.1

• Bugfix: to permit percent character in attribute values.
• Bugfix: to parse unquoted attribute values starting '+' or '#' in HTML.
• Bugfix: to keep the original DTD in output of 'processXmlWith'.

Changes for 1.13

• Bugfixes to the document validator: no more infinite loops.
• Bugfixes to lexing mixed text and references between quote chars.
• Support for building with Cabal, and for ghc-6.4's new package format.

Changes for 1.12

• The licence has changed. Previously covered by the Artistic Licence, we have now converted to the LGPL for all the library code, and GPL for the standalone tools.
• Now includes a minimal Build.bat script for Windows, so you can avoid any need for Cygwin utilities and get by with just GHC and Mingw.
• Fix a bug in DtdToHaskell, whereby an auxiliary datatype introduced by the translation into Haskell could (in certain circumstances) cause an extra layer of element tag nesting on the output (via the 'toElem' method).
• Fixed the parsing of entity/character references in the error-correcting HTML parser.
• Changes in the signatures of Xml2Haskell (made in version 1.09) have now been mirrored in the converse library, Haskell2Xml. Thus, there are new functions readXml and showXml converting to/from Strings, hGetXml and hPutXml use file Handles, and the old functions using filenames are renamed to fReadXml and fWriteXml.

Changes for 1.11

• Fix a tiny but embarrassing bug in the previous fix for complex DTDs being translated by DtdToHaskell. It broke on a very simple DTD like
      <!ELEMENT A (B|C)>
  which became sequence
      data A = A B C
  instead of choice
      data A = AB B | AC C
  

Changes for 1.10

• All being well, HaXml now works again for Hugs (versions ≥ September 2003). The library sources are installed using hugs-package, and the tools are installed as scripts for runhugs.
• Fixed the internal (and external) representations of XML character references.
• New combinators to `escape' and `unescape' reserved XML characters in text and attribute values has been contributed by George Russell. (e.g. to convert "<" into "&lt;".)
• Bugfixes to DtdToHaskell: A DTD content specification of the form
      <!ELEMENT A (B*,(C|(D?,E*)))>
  was incorrectly translated to the Haskell
      data A = A [B] (OneOf3 C (Maybe D) [E])
  but the new (correct) translation is
      data A = A [B] (OneOf2 C (Maybe D,[E]))
  

Changes for 1.09

• ghc-6.0 (and newer) are supported.
• hmake is no longer required to build HaXml, provided you have ghc --make.
• A new combinator path has been added to Text.XML.HaXml.Combinators, allowing queries to be expressed in the style of XPath.
• Some of the signatures in Text.XML.HaXml.Xml2Haskell have changed, in particular, there are new functions readXml and showXml that convert to/from Strings, hGetXml and hPutXml that use file Handles, and the old functions that use filenames are renamed to fReadXml and fWriteXml.
• DtdToHaskell previously generated incorrect code for reading an XML element given the following DTD fragment:

  <!ELEMENT foo (a,b)+ >

• The parser had a fault when reading conditional sections nested inside an IGNORE section in a DTD.
• In Text.XML.HaXml.Html.Generate, all functions now generate HTML tags in lower-case rather than upper-case, to conform to the XHTML standard.
• DtdToHaskell now accepts NOTATION types for attributes. They are treated just like enumeration types.
• If you give an output filename as a command-line argument to DtdToHaskell, it now uses the filename as the basis for the generated module name.
• Fixed a configuration bug on the Cygwin platform with ghc-5.04.x.
• make install now places the executables (DtdToHaskell, Xtract, Validate, MkOneOf, Canonicalise) into the directory specified by ./configure --prefix=...

Changes for 1.08a

• There were some simple import naming problems in some of the demonstration files in the examples/ directory.
• Embarrassingly, the string value of Text.XML.HaXml.version, previously "1.07", is only now updated to "1.08".

Changes for 1.08

• A new and highly useful function, Text.XML.HaXml.Validate.partialValidate, does validation except for checking whether the root element type matches that of the DTD's root element. This is just what you need in order to validate any partial document or sub-document.
• The function Text.XML.HaXml.Html.Generate.htmlprint had a little bug which caused it to loop infinitely if some text was longer than 60 characters without a space.
• The Xtract parser and combinators are now included in the HaXml library package, rather than existing solely for the Xtract command-line tool.
• Dependencies in ghc-5.04.x are fixed. You can now build HaXml for a specific compiler version, using e.g. configure --buildwith=ghc-5.0x.x.

Changes for 1.07b

• The code generated by DtdToHaskell had a minor cut-and-paste error.

Changes for 1.07a

• The file `script/echo.c' was missing from the distribution. This only affected the configuration step on systems where `echo -n' is not recognised (e.g. Solaris).

Changes for 1.07

• The hierarchical namespace Text.Xml was incorrect. It should be Text.XML
• The ghc package now also works in GHCi (but only for ghci-5.02.3 and later).
• If you have both ghc and nhc98 compilers available, the package is built for both. However, now the configure --buildwith= option is available to choose to build for only one of them.

Changes for 1.06

• HaXml now uses the new hierarchical namespace for modules, specifically under the tree Text.Xml.HaXml.
• The HaXml libraries now install as a separate `package' in both ghc and nhc98. Use -package HaXml to access them.
• The library APIs are now documented using Haddock.
• Due to popular request, we have added a new validator for checking generic document content against a DTD. This is available both as a library function, and as a command-line tool.
• DrIFT is now distributed separately by John Meacham, with much better configuration and build support. You still only need it if you want to derive the Haskell2Xml class.
• Bugfix: the lexer and parser now accept NOTATION declarations in the DTD.
• Bugfix: a PublicId in a NOTATION decl is now correctly recognised by the keyword PUBLIC, not PUBLICID.
• Bugfix: the HTML parser now correctly accepts stand-alone tags like IMG.
• Bugfix: instances of XmlContent now accept an empty string where #PCDATA is expected. Likewise, comments, processing instructions, and character/entity references are now permitted to be scattered thoughout some #PCDATA text.
• Bugfix: the OneOfN types used in code generated by DtdToHaskell are now supplied by default up to size 20, and a utility for automatically generating larger sizes is included.

I didn't keep detailed changelogs for versions before 1.06, but here are the highlights.

Changes for 1.05

• In DtdToHaskell, fix some more bugs with empty PE References at the end of an element content specification.

Changes for 1.04

• In DtdToHaskell, fix a bug whereby an empty PE Reference at the end of an element content specification caused a parse error - the DTD is now accepted.

Changes for 1.03

• In DtdToHaskell, added tagname prefixes to the attribute names of enumeration types, to disambiguate when attributes of the same name have different value-sets within different tags.
• DtdToHaskell also now accepts Tokenized and Notation types, mapping them to Strings.
• Added an instance of Xml2Haskell for the Maybe type.

Changes for 1.02

• Added instances of Haskell2Xml for Float and Double.
• Fixed a fault in DtdToHaskell's treatment of default attribute values.
• Dtd parser now accepts (#PCDATA)* as a valid element content specification.

Changes for 1.01

• Fixed DtdToHaskell's treatment of default values for attributes.

Changes for 1.00

• Finally added support for the external subset of DTDs.

Changes for 0.9

• Reworked the Haskell2Xml and Xml2Haskell modules.

Changes for 0.8b

• Some minor bugfixes to DrIFT, ensuring H'98 compatibility.

Changes for 0.8a

• No code changes - just some restructuring of the build tree.

Changes for 0.8

• Bugfix: some PERefs didn't work.

Changes for 0.7

• Fixed imports for GHC.

Changes for 0.6

• Fixed preprocessor symbols to use the new standard __HASKELL98__.

Changes for 0.5

• Added GE entity reference-handling to parser.
• Tweaked the pretty-printer.
• Ensured Haskell'98 compliance.

Changes for 0.4

• Added separate HTML parser, some other bugfixes.

Changes for 0.3

• Bugfix release.

Changes for 0.2

• Added Haskell2Xml and Xml2Haskell.
• Improved XML parser and printer.

Release 0.1

• Initial release.