Hi *,
I'm still trying to get a stage1 compiler with TH support. After some
experimenting, I managed to
adjust ghc-7.8 sufficiently to build and not complain about compiling TH code
right away. I'm now
stuck with importDecl trying to import Language.Haskell.TH.Lib.ExpQ (as that is
referenced in my
sample code I try to compile), but even after loading the TH/Lib.hi file unable
to find it due to a
missmatch in the Uniques.
I have a Stage 2, ghc-7.8 (A) compiler for the host, which I use to compile a
Stage 1 ghc-7.8 (B) compiler.
Now I want to inject some code (a plugin) into (B), which therefore is compiled
with (A) and hence depends
on the packages of (A). But as A and B are the identical version, I hope that
I should be able to feed (B)
the same package db.
Given that the plugin was compiled into a cabal package with (A) at (Y) and the
package db of (A) is at (X),
I try to compile my sample code with
$ cabal exec B -- path/to/Sample.hs -package-db X -package-db Y -package plugin
-fplugin MyPlugin
-- Sample.hs --
{-# LANGUAGE TemplateHaskell #-}
module Main where
main :: IO ()
main = do
let e = $([|Just "Splice!"|]) :: Maybe String
putStrLn . show $ e
-- Sample.hs --
The type checker tries to find Language.Haskell.TH.Lib.ExpQ and loads the
lib/TH.hi from (X) with
the declaration, but fails to find it in the eps_PTE after loading the
interface.
What I was able to figure out was that Language.Haskell.TH.Lib.ExpQ loaded from
lib/TH.hi in (X) obtains the
unique key "rCM", while the unique key that is being looked up is "39S".
Can someone shed some light onto where I am misunderstanding how something is
supposed to work?
Cheers,
Moritz
_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs
