Merge pull request #587 from david-christiansen/cpp-warnings
Stop CPP from emitting useless warnings
commit370b063c55985b654b1a1c3934d9ebdb4635ee69
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 3 Nov 2013, 12:20 (13 years ago)
parent22ee5a4d3299a5
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 :: ()