On Fri, Nov 11, 2011 at 1:33 PM, aditya siram <aditya.siram@gmail.com> wrote:

I also have the same issue with OOHaskell after pulling from http://code.haskell.org/OOHaskell. After loading GHCI I did:
> :l ../samples/OCamlTutorial.hs
../samples/OCamlTutorial.hs:97:3:
    Multiple declarations of `foo'
    Declared at: ../samples/OCamlTutorial.hs:53:1
                 ../samples/OCamlTutorial.hs:97:3

Failed, modules loaded: OOHaskell, Dynamic, Print, DeepNarrow, Nominal, New.

Also in the beginning I was unable to load lib/OOHaskell.hs into GHCI because it tried to import a module that was no-longer exported by HList "Data.HList.TypeEq0". When I commented out that line, it loaded fine into GHCI.

-deech

On Fri, Nov 11, 2011 at 1:20 PM, aditya siram <aditya.siram@gmail.com> wrote:

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