Files
docs
scripts
src
testsuite
conf
dynload
eval
hier
iface
load
loadCLib
make
makewith
misc
multi
objc
pdynload
badint
bayley1
null
numclass
api
prog
Main.hs
expected
Makefile
Plugin.hs
poly
poly1
should_fail0
should_fail1
small
spj1
spj2
spj3
spj4
typealias
univquant
pkgconf
plugs
reload
shell
unload
unloadAll
README
TIMINGS
build.mk
check.mk
eval.mk
foreign.mk
.gitignore
.travis.yml
AUTHORS
LICENSE
Makefile
README
Setup.lhs
TODO
config.guess
config.h.in
config.mk.in
config.sub
configure
configure.ac
install.sh
plugins.cabal
stack.yaml
shaniqua-plugins/testsuite/pdynload/numclass/prog/Main.hs
2005-09-03 04:45:14 +00:00

20 lines
506 B
Haskell

import System.Plugins
import API
src = "../Plugin.hs"
wrap = "../Wrapper.hs"
apipath = "../api"
main = do status <- make src ["-i"++apipath]
case status of
MakeFailure _ -> putStrLn "make failed"
MakeSuccess _ _ -> do {
;v <- pdynload "../Plugin.o" ["../api"] [] "API.Interface Integer" "resource"
;case v of
LoadSuccess _ a -> let D i = snd a in putStrLn $ show i
_ -> putStrLn "wrong types"
}