Thanks for updating the Cabal file. The reason I commented out the Data.HList.TypeEqO was because I couldn't find it. I grepped the HList source tree for it and I found references to it only in the following places:
./Data/HList/RecordD.hs:import Data.HList.TypeEqO
./examples/TIPTransform.hs:import Data.HList.TypeEqO
./examples/MainGhcGeneric1.hs: module Data.HList.TypeEqO,
./examples/MainGhcGeneric1.hs:import Data.HList.TypeEqO
./examples/MainPatternMatch.hs:import Data.HList.TypeEqO
./examples/TIPTransformM.hs:import Data.HList.TypeEqO
./HList.cabal:                     Data.HList.HListPrelude, Data.HList.TypeEqO,

I couldn't find it on Hoogle or Hayoo either. Am I missing something?

-deech

On Fri, Nov 11, 2011 at 10:25 PM, <oleg@okmij.org> wrote:

> I have verified that the issue with the "makeLabels" function goes away if
> I install 7.0.4.

I'm glad to hear that. GHC 7.0.4 has updated Template Haskell in
backward-incopatible ways.

> I got an extremely large error (~ 5000 lines) when loading
> "OCamlTutorial.hs".

Quite likely the reason was the Data.HList.TypeEqO import that you
have commented out. Data.HList.TypeEqO is really needed. I have
pushed the changed HList.cabal. (I must admit I use HList without
cabal-installing it: I simply arrange OOHaskell and HList as sibling
subdirectories. See OOHaskell/samples/Makefile).