git.iko.soy/Idris-dev
on master help sign in
Merge branch 'master' of github.com:idris-lang/Idris-dev
5dd3302Edwin Brady
libs/prelude/Prelude.idr+1−1
compare with master
unifiedsplit
@@ -347,7 +347,7 @@ natRange n = List.reverse (go n)
347 where go Z = []
347 where go Z = []
348 go (S n) = n :: go n
348 go (S n) = n :: go n
349
349
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
351total natEnumFromThen : Nat -> Nat -> Stream Nat
351total natEnumFromThen : Nat -> Nat -> Stream Nat
352natEnumFromThen n inc = n :: natEnumFromThen (inc + n) inc
352natEnumFromThen n inc = n :: natEnumFromThen (inc + n) inc
353total natEnumFromTo : Nat -> Nat -> List Nat
353total natEnumFromTo : Nat -> Nat -> List Nat
src/Idris/CmdOptions.hs+1−1
@@ -60,7 +60,7 @@ parseFlags = many $
60 <|> (PkgREPL <$> strOption (long "repl"))
60 <|> (PkgREPL <$> strOption (long "repl"))
61 <|> (PkgClean <$> strOption (long "clean" <> metavar "IPKG" <> help "Clean package"))
61 <|> (PkgClean <$> strOption (long "clean" <> metavar "IPKG" <> help "Clean package"))
62 <|> (PkgMkDoc <$> strOption (long "mkdoc" <> metavar "IPKG" <> help "Generate IdrisDoc for package"))
62 <|> (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"))
64 -- Misc options
64 -- Misc options
65 <|> (BCAsm <$> strOption (long "bytecode"))
65 <|> (BCAsm <$> strOption (long "bytecode"))
66 <|> flag' (OutputTy Raw) (short 'S' <> long "codegenonly" <> help "Do no further compilation of code generator output")
66 <|> flag' (OutputTy Raw) (short 'S' <> long "codegenonly" <> help "Do no further compilation of code generator output")