@@ -100,13 +100,17 @@ data DynamicLib = Lib { lib_name :: String
100100 }
101101 deriving Eq
102102
103−tryLoadLib :: String -> IO (Maybe DynamicLib)
104−tryLoadLib lib = do putStrLn $ "WARNING: Cannot load '" ++ lib ++ "' at compile time because Idris was compiled without libffi support."
105− return Nothing
103+data ForeignFun = forall a. Fun { fun_name :: String
104+ , fun_handle :: ()
105+ }
106+
107+tryLoadLib :: [FilePath] -> String -> IO (Maybe DynamicLib)
108+tryLoadLib fps lib = do putStrLn $ "WARNING: Cannot load '" ++ lib ++ "' at compile time because Idris was compiled without libffi support."
109+ return Nothing
106110
107111tryLoadFn :: String -> DynamicLib -> IO (Maybe ForeignFun)
108−tryLoadLib fn lib = do putStrLn $ "WARNING: Cannot load '" ++ fn ++ "' at compile time because Idris was compiled without libffi support."
109− return Nothing
112+tryLoadFn fn lib = do putStrLn $ "WARNING: Cannot load '" ++ fn ++ "' at compile time because Idris was compiled without libffi support."
113+ return Nothing
110114#endif
111115
112116