c382799 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

improve the usage message a bit more

commitc3827997c7b01bd11eaeb18c0dcf430aa556d1da authorСухарик <suhr@i2pmail.org> dateSun 6 Sep 2015, 10:43 (11 years ago) parent524c223

3 files changed+9−6

unifiedsplit

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

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

2121 interface :: Bool,

2222 output :: FilePath }

2323

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

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

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"

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

2627 exitWith ExitSuccess

2728

2829getOpts :: IO Opts

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

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

1818 , output :: FilePath

1919 }

2020

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

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

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"

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

2324 exitWith ExitSuccess

2425

2526getOpts :: IO Opts

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