git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1468 from shlevy/document-check-option
4c17201Edwin Brady
src/Idris/CmdOptions.hs+1−1
compare with master
unifiedsplit
@@ -78,7 +78,7 @@ parseFlags = many $
78 <|> flag' NoBasePkgs (long "nobasepkgs")
78 <|> flag' NoBasePkgs (long "nobasepkgs")
79 <|> flag' NoPrelude (long "noprelude")
79 <|> flag' NoPrelude (long "noprelude")
80 <|> flag' NoBuiltins (long "nobuiltins")
80 <|> flag' NoBuiltins (long "nobuiltins")
81− <|> flag' NoREPL (long "check")
81+ <|> flag' NoREPL (long "check" <> help "Typecheck only, don't start the REPL")
82 <|> (Output <$> strOption (short 'o' <> long "output" <> metavar "FILE" <> help "Specify output file"))
82 <|> (Output <$> strOption (short 'o' <> long "output" <> metavar "FILE" <> help "Specify output file"))
83 <|> flag' TypeCase (long "typecase")
83 <|> flag' TypeCase (long "typecase")
84 <|> flag' TypeInType (long "typeintype")
84 <|> flag' TypeInType (long "typeintype")