Merge branch 'master' of github.com:idris-lang/Idris-dev
commit5dd330278f3db014eb1fa692397fc228fb5a6e7c
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 20 May 2014, 22:41 (12 years ago)
parent8215c60b138dd7
libs/prelude/Prelude.idr+1−1
@@ -347,7 +347,7 @@ natRange n = List.reverse (go n)
347347 where go Z = []
348348 go (S n) = n :: go n
349349
350−-- predifine Nat versions of Enum, so we can use them in the default impls
350+-- predefine Nat versions of Enum, so we can use them in the default impls
351351total natEnumFromThen : Nat -> Nat -> Stream Nat
352352natEnumFromThen n inc = n :: natEnumFromThen (inc + n) inc
353353total natEnumFromTo : Nat -> Nat -> List Nat
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")