Hi all, I try to use HaXml and HXmlToolbox together with GHC 6.2.1. I am, however, a bit confused since some versions seem to "influence" each other. So far I tried: HaXml 1.11 + HXmlToolbox 4.01 and HaXml 1.12 + HXmlToolbox 4.01. While HaXml 1.11 appears to work fine with HXmlToolbox 4.01, I get some strange errors for the combination 1.12 + 4.01 when using HXmlToolbox. You find examples below. Any ideas? Best regards, Jan --------------------------------------------------------- All examples below are for the combination HaXml 1.12 + HXmlToolbox 4.01: The TreeVisualization from HXmlToolbox: ghci -package hxt TreeVisualisation.hs Loading package base ... linking ... done. Loading package haskell98 ... linking ... done. Loading package lang ... linking ... done. Loading package unix ... linking ... done. Loading package posix ... linking ... done. Loading package network ... linking ... done. Loading package net ... linking ... done. Loading package parsec ... linking ... done. Loading package hxt ... linking ... done. Compiling Main ( TreeVisualisation.hs, interpreted ) TreeVisualisation.hs:11: Failed to find interface decl for `AssocList' from module `AssocList' TreeVisualisation.hs:11: Failed to find interface decl for `AssocList' from module `AssocList' tcLookup: `AssocList' is not in scope When checking kinds in `AssocList String String' In the type synonym declaration for `Attributes' Failed, modules loaded: none. ----------------- Invoking ghci with just -package hxt appears to work at first sight, but then: ghci -package hxt ... Loading package hxt ... linking ... done. Prelude> :b AssocList data FM k a = adjust :: forall a k. (Eq k) => (a -> a) -> k -> FM k a -> FM k a adjustAll :: forall a k. (Eq k) => (a -> a) -> k -> FM k a -> FM k a count :: forall k a. (Eq k) => FM k a -> k -> Int delete :: forall k a. (Eq k) => k -> FM k a -> FM k a deleteAll :: forall k a. (Eq k) => k -> FM k a -> FM k a deleteSeq :: forall seq :: (* -> *) k a. (Eq k, Sequence.Sequence seq) => seq k -> FM k a -> FM k a .... Strange, thats not the AssocList from HXmlToolbox (see below)! Prelude> :b HdomParser Failed to find interface decl for `AssocList.AssocList' from module `AssocList' Failed to find interface decl for `AssocList.addEntries' from module `AssocList' Failed to find interface decl for `AssocList.addEntry' from module `AssocList' Failed to find interface decl for `AssocList.delEntries' from module `AssocList' Failed to find interface decl for `AssocList.delEntry' from module `AssocList' Failed to find interface decl for `AssocList.hasEntry' from module `AssocList' Failed to find interface decl for `AssocList.lookup1' from module `AssocList' Failed to find interface decl for `AssocList.lookupDef' from module `AssocList' Failed to find interface decl for `AssocList.AssocList' from module `AssocList' Failed to find interface decl for `AssocList.AssocList' from module `AssocList' tcLookup: `AssocList.AssocList' is not in scope When checking kinds in `AssocList.AssocList GHC.Base.String GHC.Base.String' In the type synonym declaration for `XmlTreeTypes.Attributes' -------------------------------------------------------------------- Example for the combination HaXml 1.11 + HXmlToolbox 4.01 ghci -package hxt Loading package base ... linking ... done. Loading package haskell98 ... linking ... done. Loading package lang ... linking ... done. Loading package unix ... linking ... done. Loading package posix ... linking ... done. Loading package network ... linking ... done. Loading package net ... linking ... done. Loading package parsec ... linking ... done. Loading package hxt ... linking ... done. Prelude> :b AssocList type AssocList k v = [(k, v)] addEntries :: forall k v. (Eq k) => AssocList k v -> AssocList k v -> AssocList k v addEntry :: forall k v. (Eq k) => k -> v -> AssocList k v -> AssocList k v delEntries :: forall k v. (Eq k) => [k] -> AssocList k v -> AssocList k v delEntry :: forall k v. (Eq k) => k -> AssocList k v -> AssocList k v hasEntry :: forall k v. (Eq k) => k -> AssocList k v -> Bool lookup1 :: forall k e. (Eq k) => k -> AssocList k [e] -> [e] lookupDef :: forall v k. (Eq k) => v -> k -> AssocList k v -> v Prelude>