Fixed typo in CmdOptions to reinstate `--checkpkg`
commitf08f83aba6dc4d89144b308f6bdf7b195d82bc8f
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateTue 20 May 2014, 16:10 (12 years ago)
parent8b55229
src/Idris/CmdOptions.hs+1−1
@@ -60,7 +60,7 @@ parseFlags = many $
6060 <|> (PkgREPL <$> strOption (long "repl"))
6161 <|> (PkgClean <$> strOption (long "clean" <> metavar "IPKG" <> help "Clean package"))
6262 <|> (PkgMkDoc <$> strOption (long "mkdoc" <> metavar "IPKG" <> help "Generate IdrisDoc for package"))
63− <|> (PkgCheck <$> strOption (long "check"))
63+ <|> (PkgCheck <$> strOption (long "checkpkg" <> metavar "IPKG" <> help "Check package only"))
6464 -- Misc options
6565 <|> (BCAsm <$> strOption (long "bytecode"))
6666 <|> flag' (OutputTy Raw) (short 'S' <> long "codegenonly" <> help "Do no further compilation of code generator output")