git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1522 from soimort/patch-typo-fix

Fix typo in help message

commit782c9457c9c33b662b2e994bc34924b049f53ff5 authorDavid Christiansen <david@davidchristiansen.dk> dateFri 12 Sep 2014, 23:15 (12 years ago) parent80238b4b46ba07
2 files changed+2−2
compare with master
unifiedsplit
man/idris.1+1−1 src/Idris/CmdOptions.hs+1−1
man/idris.1+1−1
@@ -69,7 +69,7 @@ should not necessarily be seen as production ready nor for industrial use.
6969 -e,--eval EXPR Evaluate an expression without loading the REPL
7070 --execute Execute as idris
7171 --exec EXPR Execute as idris
72− -X,--extension EXT Turn on langage extension (TypeProviders or
72+ -X,--extension EXT Turn on language extension (TypeProviders or
7373 ErrorReflection)
7474 --target TRIPLE Select target triple (for llvm codegen)
7575 --cpu CPU Select target CPU e.g. corei7 or cortex-m3 (for LLVM
src/Idris/CmdOptions.hs+1−1
@@ -115,7 +115,7 @@ parseFlags = many $
115115 <|> (EvalExpr <$> strOption (long "eval" <> short 'e' <> metavar "EXPR" <> help "Evaluate an expression without loading the REPL"))
116116 <|> flag' (InterpretScript "Main.main") (long "execute" <> help "Execute as idris")
117117 <|> (InterpretScript <$> strOption (long "exec" <> metavar "EXPR" <> help "Execute as idris"))
118− <|> ((\s -> Extension $ getExt s) <$> strOption (long "extension" <> short 'X' <> metavar "EXT" <> help "Turn on langage extension (TypeProviders or ErrorReflection)"))
118+ <|> ((\s -> Extension $ getExt s) <$> strOption (long "extension" <> short 'X' <> metavar "EXT" <> help "Turn on language extension (TypeProviders or ErrorReflection)"))
119119 <|> flag' (OptLevel 3) (long "O3")
120120 <|> flag' (OptLevel 2) (long "O2")
121121 <|> flag' (OptLevel 1) (long "O1")