632ff47 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Update codegen option help text

Remove Java and add node and javascript. Also hint that there can be more.

commit632ff472589747ffc3b4d3e53c295d596e47e147 authorNiklas Larsson <niklas@mm.st> dateThu 23 Jul 2015, 22:42 (11 years ago) parentcd4e91d

1 file changed+1−1

compare with master

unifiedsplit

src/Idris/CmdOptions.hs+1−1

src/Idris/CmdOptions.hs+1−1

@@ -126,7 +126,7 @@ parseFlags = many $

126126 <|> flag' (OutputTy MavenProject) (long "mvn" <> help "Create a maven project (for Java codegen)")

127127 <|> (DumpDefun <$> strOption (long "dumpdefuns"))

128128 <|> (DumpCases <$> strOption (long "dumpcases"))

129− <|> ((\s -> UseCodegen $ parseCodegen s) <$> strOption (long "codegen" <> metavar "TARGET" <> help "Select code generator: C, Java, bytecode"))

129+ <|> ((\s -> UseCodegen $ parseCodegen s) <$> strOption (long "codegen" <> metavar "TARGET" <> help "Select code generator: C, Javascript, Node and bytecode are bundled with Idris"))

130130 <|> (EvalExpr <$> strOption (long "eval" <> short 'e' <> metavar "EXPR" <> help "Evaluate an expression without loading the REPL"))

131131 <|> flag' (InterpretScript "Main.main") (long "execute" <> help "Execute as idris")

132132 <|> (InterpretScript <$> strOption (long "exec" <> metavar "EXPR" <> help "Execute as idris"))