Dear Frank, HList is definitely tested with 6.4. See transcript below. My guess would be that you are perhaps not running with options as stated in the Makefile. Anyway, if your problems persist, I am happy to take this offline. Merry Christmas, Ralf ralfla@ralfla02 ~/projects/HList/src $ ghc --version The Glorious Glasgow Haskell Compilation System, version 6.4 ralfla@ralfla02 ~/projects/HList/src $ make test ghci -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances MainGhcGeneric1.hs -v0 < Main.in > MainGhcGeneric1.out diff -b MainGhcGeneric1.out MainGhcGeneric1.ref ghci -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances MainGhcTTypeable.hs -v0 < Main.in > MainGhcTTypeable.out diff -b MainGhcTTypeable.out MainGhcTTypeable.ref runhugs -98 +o MainHugsTTypeable.hs < Main.in > MainHugsTTypeable.out diff -b MainHugsTTypeable.out MainHugsTTypeable.ref ghci -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances MainPosting-040607.hs -v0 < Main.in > MainPosting-040607.out diff -b MainPosting-040607.out MainPosting-040607.ref ghci -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances MainGhcGeneric2.hs -v0 < Main.in > MainGhcGeneric2.out diff -b MainGhcGeneric2.out MainGhcGeneric2.ref ghci -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances MainGhcGeneric3.hs -v0 < Main.in > MainGhcGeneric3.out diff -b MainGhcGeneric3.out MainGhcGeneric3.ref ralfla@ralfla02 ~/projects/HList/src
-----Original Message----- From: haskell-bounces@haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Frank Sent: Saturday, December 24, 2005 8:46 AM To: haskell@haskell.org Subject: [Haskell] Hlist distribution -- compiler error in TIP
I just got the Hlist distribution but could not compile the example files With ghc 6.4 (I use ghci - in eclipse - I did not use ghc with the makefile).
I got the following compile time error on module TIP:
C:\gisCodev13\HeterogenousList\src/TIP.hs:247:22: Could not deduce (HType2HNat e l n1, HDeleteAtHNat n1 l l'1, HOccurs e (TIP l), HOccurs e2 (TIP l'1)) from the context (HOccurs e1 (TIP l), HType2HNat e1 l n, HDeleteAtHNat n l l', HOccurs e2 (TIP l'), HOccurs e2 (TIP l), HType2HNat e2 l n', HDeleteAtHNat n' l l'', HOccurs e1 (TIP l'')) arising from use of `y' at C:\gisCodev13\HeterogenousList\src/TIP.hs:247:22 Probable fix: add (HType2HNat e l n1, HDeleteAtHNat n1 l l'1, HOccurs e (TIP l), HOccurs e2 (TIP l'1)) to the type signature(s) for `tuple' or add an instance declaration for (HOccurs e (TIP l), HOccurs e2 (TIP l'1)) In the definition of `tuple': tuple (TIP l) = let x = hOccurs (TIP l) l' = hDeleteAtProxy (toProxy x) l y = hOccurs (TIP l') in (x, y)
Can anybody quickly see, what is wrong?
Andrew U. Frank Professor, Head of Department Geoinformation and Cartography E127 phone: +43 1 588 01 12710 TU Vienna secr. +43 1 588 01 12700 Gusshausstrasse 27-29 fax +43 1 588 01 12799 A-1040 Vienna Austria cellular phone +43 676 41925 72 http://www.geoinfo.tuwien.ac.at/persons/frank/frank.html skype:AndrewUFrank
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell