git.iko.soy/Idris-dev
on master help sign in
Fix typo in help message (language extension)
b46ba07Mort Yao
man/idris.1+1−1
compare with master
unifiedsplit
@@ -69,7 +69,7 @@ should not necessarily be seen as production ready nor for industrial use.
69 -e,--eval EXPR Evaluate an expression without loading the REPL
69 -e,--eval EXPR Evaluate an expression without loading the REPL
70 --execute Execute as idris
70 --execute Execute as idris
71 --exec EXPR Execute as idris
71 --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
73 ErrorReflection)
73 ErrorReflection)
74 --target TRIPLE Select target triple (for llvm codegen)
74 --target TRIPLE Select target triple (for llvm codegen)
75 --cpu CPU Select target CPU e.g. corei7 or cortex-m3 (for LLVM
75 --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 $
115 <|> (EvalExpr <$> strOption (long "eval" <> short 'e' <> metavar "EXPR" <> help "Evaluate an expression without loading the REPL"))
115 <|> (EvalExpr <$> strOption (long "eval" <> short 'e' <> metavar "EXPR" <> help "Evaluate an expression without loading the REPL"))
116 <|> flag' (InterpretScript "Main.main") (long "execute" <> help "Execute as idris")
116 <|> flag' (InterpretScript "Main.main") (long "execute" <> help "Execute as idris")
117 <|> (InterpretScript <$> strOption (long "exec" <> metavar "EXPR" <> help "Execute as idris"))
117 <|> (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)"))
119 <|> flag' (OptLevel 3) (long "O3")
119 <|> flag' (OptLevel 3) (long "O3")
120 <|> flag' (OptLevel 2) (long "O2")
120 <|> flag' (OptLevel 2) (long "O2")
121 <|> flag' (OptLevel 1) (long "O1")
121 <|> flag' (OptLevel 1) (long "O1")