Stop CPP from emitting useless warnings
commitd3299a5b479c09e9d594a2392d5a69eb0460a991
authorDavid Christiansen <david@davidchristiansen.dk>
dateSun 3 Nov 2013, 19:43 (13 years ago)
parentc0cda70
src/Core/Execute.hs+2−1
@@ -37,7 +37,8 @@ import System.IO
3737#ifndef IDRIS_FFI
3838execute :: Term -> Idris Term
3939execute tm = fail "libffi not supported, rebuild Idris with -f FFI"
40−#else -- rest of file
40+#else
41+-- else is rest of file
4142readMay :: (Read a) => String -> Maybe a
4243readMay s = case reads s of
4344 [(x, "")] -> Just x
src/Util/DynamicLinker.hs+2−1
@@ -70,7 +70,8 @@ tryLoadFn fn (Lib _ h) = do cFn <- getProcAddress h fn
7070 then return Nothing
7171 else return . Just $ Fun fn (castPtrToFunPtr cFn)
7272#endif
73−#else -- no libffi, just add stubbs.
73+#else
74+-- no libffi, just add stubbs.
7475
7576data DynamicLib = Lib { lib_name :: String
7677 , lib_handle :: ()