GHC 7.6.3 and Plugins 1.5.4.0
Im using the plugins library and am unable get it to work with user defined types. I.e. evaluating the string "id :: Int -> Int" works, but "id :: Test -> Test" yield the runtime-error. test: /tmp/MXXXXX27601.o: unknown symbol `testdzm0zi0zi0_DataziTestD_zdfTypeableTestD_closure' I have created a small compiling example of the bug here https://github.com/fabianbergmark/plugins-bug I have tried to move the data-type to a separate library without success. Curiously, loading the library exposing the data-type in GHCi, and running eval "id :: Test -> Test" works and yields the correct result.
I honestly have no idea whatsoever. The plugins library was written by somebody else and I am the maintainer only in the sense that I will apply patches that people send. That said, I really want a working, modern version of the plugins library that uses the GHC-API and integrates with cabal and cabal sandboxes. I have started such a library here: https://github.com/Happstack/plugins-ng It is pretty much only proof of concept at the moment. But there is a working example. It desperately needs additional developers though if it is going to be usable anytime soon. - jeremy On Mon, Feb 24, 2014 at 7:12 AM, Fabian Bergmark <fabian.bergmark@gmail.com> wrote:
Im using the plugins library and am unable get it to work with user defined types. I.e. evaluating the string "id :: Int -> Int" works, but "id :: Test -> Test" yield the runtime-error.
test: /tmp/MXXXXX27601.o: unknown symbol `testdzm0zi0zi0_DataziTestD_zdfTypeableTestD_closure'
I have created a small compiling example of the bug here
https://github.com/fabianbergmark/plugins-bug
I have tried to move the data-type to a separate library without success.
Curiously, loading the library exposing the data-type in GHCi, and running eval "id :: Test -> Test" works and yields the correct result. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
participants (2)
-
Fabian Bergmark -
Jeremy Shaw