git.iko.soy/Idris-dev
on master help sign in
default case for hostDynamicLibExt.
e09950astartling
src/Util/DynamicLinker.hs+5
compare with master
unifiedsplit
@@ -21,6 +21,11 @@ hostDynamicLibExt = "so"
21hostDynamicLibExt = "dylib"
21hostDynamicLibExt = "dylib"
22#elif WINDOWS
22#elif WINDOWS
23hostDynamicLibExt = "dll"
23hostDynamicLibExt = "dll"
24+#else
25+hostDynamicLibExt = error $ unwords
26+ [ "Undefined file extension for dynamic libraries"
27+ , "in Idris' Util.DynamicLinker."
28+ ]
24#endif
29#endif
25
30
26data ForeignFun = forall a. Fun { fun_name :: String
31data ForeignFun = forall a. Fun { fun_name :: String