I just pulled the latest version of HList :
> darcs clone http://code.haskell.org/HList

I compiled it with GHC 7.2.1 and I am still running into the same issue the "makeLabels" function:
> runQ (makeLabels ["test1","test2"]) >>= putStrLn . pprint
data Foo_0 deriving (Data.Typeable.Internal.Typeable)
foo_1 = Data.HList.FakePrelude.proxy :: Data.HList.FakePrelude.Proxy Foo_0
data Foo_2 deriving (Data.Typeable.Internal.Typeable)
foo_3 = Data.HList.FakePrelude.proxy :: Data.HList.FakePrelude.Proxy Foo_2

Also the cabal file that is currently at the tip of the repository includes some of the files that have been moved into the "obsolete" directory. I have attached an updated HList.cabal file that seems to work on my machine.

Thanks!
-deech


On Tue, Nov 8, 2011 at 8:16 PM, <oleg@okmij.org> wrote:

I believe this is the case of OOHaskell gotten a bit out of sync with
HList and GHC. Please use the latest code bases

       http://code.haskell.org/HList
       http://code.haskell.org/OOHaskell

OCamlTutorial and all other OOHaskell code should work (with GHC
7.0.4).