existential types and functional dependencies

[Christian Maeder]

The following module is accepted by ghc (with -fglasgow-exts) but 
rejected by hugs:

module ParseAny where

class Syntax tag as | tag -> as where
    parse :: tag -> String -> as
data AnyAs = forall tag as. Syntax tag as =>
             MkAs tag as
data AnyTag = forall tag as. Syntax tag as =>
              MkTag tag
parseAny :: AnyTag -> String -> AnyAs
parseAny (MkTag tag) str = MkAs tag $ parse tag str
-- -------------------------------------------------------

Hugs mode: Restart with command line option +98 for Haskell 98 mode

Reading file "/home/linux-bkb/hugs/lib/hugs/libraries/Hugs/Prelude.hs":
Reading file "/home/linux-bkb/hugs/lib/hugs/libraries/Prelude.hs":
Reading file "ParseAny.hs":
Type checking
ERROR "ParseAny.hs":13 - Cannot justify constraints in explicitly typed 
binding
*** Expression    : parseAny
*** Type          : AnyTag -> String -> AnyAs
*** Given context : ()
*** Constraints   : Syntax _0 a

When I omit the functional dependency "| tag -> as", ghc yields a 
similar error

Cheers Christian

_______________________________________________
Hugs-Bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/hugs-bugs