c382799 · Idris-dev · git.iko.soy

codegen/idris-codegen-c/Main.hs+3−2

compare with master

unifiedsplit

@@ -21,8 +21,9 @@ data Opts = Opts { really :: Bool,

21 interface :: Bool,

22 output :: FilePath }

23

24−showUsage = do putStrLn "A code generator which is intended to be called by the compiler, not by a user.\n"

24+showUsage = do putStrLn "A code generator which is intended to be called by the compiler, not by a user."

25+ putStrLn "To call the code generator manually, pass the --yes-really option.\n"

25− putStrLn "Usage: idris-codegen-c --yes-really <ibc-files> [-o <output-file>]"

26+ putStrLn "Usage: idris-codegen-c [--yes-really] <ibc-files> [-o <output-file>]"

26 exitWith ExitSuccess

27 exitWith ExitSuccess

27

28

28getOpts :: IO Opts

29getOpts :: IO Opts

codegen/idris-codegen-javascript/Main.hs+3−2

@@ -18,8 +18,9 @@ data Opts = Opts { really :: Bool

18 , output :: FilePath

19 }

20

21−showUsage = do putStrLn "A code generator which is intended to be called by the compiler, not by a user.\n"

21+showUsage = do putStrLn "A code generator which is intended to be called by the compiler, not by a user."

22+ putStrLn "To call the code generator manually, pass the --yes-really option.\n"

22− putStrLn "Usage: idris-codegen-javascript --yes-really <ibc-files> [-o <output-file>]"

23+ putStrLn "Usage: idris-codegen-c [--yes-really] <ibc-files> [-o <output-file>]"

23 exitWith ExitSuccess

24 exitWith ExitSuccess

24

25

25getOpts :: IO Opts

26getOpts :: IO Opts

codegen/idris-codegen-node/Main.hs+3−2