[Haskell] Hlist distribution -- compiler error in TIP

[Ralf Lammel]

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 at ralfla02 ~/projects/HList/src
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.4

ralfla at 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 at ralfla02 ~/projects/HList/src

> -----Original Message-----
> From: haskell-bounces at haskell.org [mailto:haskell-bounces at haskell.org]
On
> Behalf Of Frank
> Sent: Saturday, December 24, 2005 8:46 AM
> To: haskell at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell