b46ba07 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix typo in help message (language extension)

commitb46ba07b6d323f89ead2b17c95ef03e2a0a540ab authorMort Yao <mort.yao@gmail.com> dateFri 12 Sep 2014, 21:48 (12 years ago) parent80238b4

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")