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).