Merge pull request #414 from startling/for-ghci
Made Idris a little more ghci-friendly.
commit783ef7cdea6fde6df989ce81cd580ebe6c116c8f
authorEdwin Brady <edwin.brady@gmail.com>
dateThu 25 Jul 2013, 03:26 (13 years ago)
parentc2efaddf93c0c0
src/.ghcinew file+2
@@ -0,0 +1,2 @@
1+:set -XMultiParamTypeClasses -XFunctionalDependencies
2+:set -XFlexibleInstances -XTemplateHaskell
src/Util/DynamicLinker.hs+5
@@ -21,6 +21,11 @@ hostDynamicLibExt = "so"
2121hostDynamicLibExt = "dylib"
2222#elif WINDOWS
2323hostDynamicLibExt = "dll"
24+#else
25+hostDynamicLibExt = error $ unwords
26+ [ "Undefined file extension for dynamic libraries"
27+ , "in Idris' Util.DynamicLinker."
28+ ]
2429#endif
2530
2631data ForeignFun = forall a. Fun { fun_name :: String