Hi Carter,
Someone figured it out on #ghc. It seems we need to compile with -dynamic
when having TH code now (https://ghc.haskell.org/trac/ghc/ticket/8180)
About a snippet, I working on that ticket (
https://ghc.haskell.org/trac/ghc/ticket/7021) so it's based on the given
sample:
-- Tuple.hs
{-# LANGUAGE ConstraintKinds, TemplateHaskell #-}
module Tuple where
import Language.Haskell.TH
type IOable a = (Show a, Read a)
foo :: IOable a => a
foo = undefined
test :: Q Exp
test = do
Just fooName <- lookupValueName "foo"
info <- reify fooName
runIO $ print info
[| \_ -> 0 |]
--
-- Main.hs
{-# LANGUAGE TemplateHaskell #-}
module Main where
import Tuple
func :: a -> Int
func = $(test)
main :: IO ()
main = print "hello"
--
2014/1/2 Carter Schonwald
Did you build ghc with both static and dynamic libs? Starting in 7.7/HEAD, ghci uses Dylib versions of libraries, and thus TH does too. What OS and architecture is this, and what commit is your ghc build from?
Last but most importantly, if you don't share the code, we can't really help isolate the problem.
On Thursday, January 2, 2014, Yorick Laupa wrote:
Hi,
Oddly I can't compile code using TH with GHC HEAD. Here's what I get:
cannot find normal object file './Tuple.dyn_o' while linking an interpreted expression
I'm currently working on a issue so I compile the code with ghc-stage2 for convenience.
I found an old ticket related to my problem ( https://ghc.haskell.org/trac/ghc/ticket/8443) but adding -XTemplateHaskell didn't work out.
The code compiles with ghc 7.6.3.
Here's my setup: Archlinux (3.12.6-1)
Any suggestions ?
--Yorick