Simplify parse_opts now that we can validate against the DTDs.

diff --git a/src/Xml.hs b/src/Xml.hs
index 7f641b2fb54d1847215b7733331312c46f5b11b0..c4d4049e2f5ec4fc62d93d80ab31d83e8d07c764 100644 (file)
--- a/src/Xml.hs
+++ b/src/Xml.hs
@@ -19,13 +19,9 @@ import Text.XML.HXT.Core (
   SysConfigList,
   XmlPickler(..),
   hasName,
-  no,
   readDocument,
   runX,
-  withPreserveComment,
   withRemoveWS,
-  withSubstDTDEntities,
-  withValidate,
   xpickleVal,
   xunpickleVal,
   yes )
@@ -69,17 +65,11 @@ class ToFromXml a where
 newtype DtdName = DtdName String
 
 -- | A list of options passed to 'readDocument' when we parse an XML
---   document. We don't validate because the DTDs from TSN are
---   wrong. As a result, we don't want to keep useless DTDs
---   areound. Thus we disable 'withSubstDTDEntities' which, when
---   combined with "withValidate no", prevents HXT from trying to read
---   the DTD at all.
+--   document. All cosmetic whitespace should be removed, otherwise we
+--   have to parse it in each pickler.
 --
 parse_opts :: SysConfigList
-parse_opts =
-  [ withPreserveComment no,
-    withRemoveWS yes,
-    withSubstDTDEntities no ]
+parse_opts = [ withRemoveWS yes ]
 
 
 -- | Given a root element name and a file path, return both the