@@ -78,7 +78,8 @@ data DynamicLib = Lib { lib_name :: String
78 deriving Eq
78 deriving Eq
80tryLoadLib :: String -> IO (Maybe DynamicLib)
80tryLoadLib :: String -> IO (Maybe DynamicLib)
81+tryLoadLib lib = do putStrLn $ "WARNING: Cannot load '" ++ lib ++ "' at compile time because Idris was compiled without libffi support."
81−tryLoadLib _ = return Nothing
82+ return Nothing