HaXml 1.12 <-> HXmlToolbox 4.01 incompatibility?

[Jan Scheffczyk]

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>