git.iko.soy/Idris-dev
on 0cb9b4e help sign in
history ofsrc/Idris/CmdOptions.hs
all commits
fd9003bAdded flag to display available logging categories.Jan de Muijnck-Hughes 5f3e700Added new logging category for IBC operations.Jan de Muijnck-Hughes 9255de5Logging Categories: Fixed typo, and updated changelog.Jan de Muijnck-Hughes 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 5dc9d1aUpdated logging categories.Jan de Muijnck-Hughes d901c69Initial commit for a category based logger for Idris.Jan de Muijnck-Hughes 1d40dbdMake it possible to disable tactic deprecationDavid Raymond Christiansen 90bbf06Add deprecation warning for %elimDavid Raymond Christiansen f5bff01Pass parameters to codegens with new cmdoption --cg-optNiklas Larsson 632ff47Update codegen option help textNiklas Larsson edb2809Documentation Fixes for CLIJan de Muijnck-Hughes ac68541Dump highlighting infoDavid Raymond Christiansen 1bf2731issue #2004 resolved by --consolewith cmd line paramAndreas Reuleaux d4371e6Generate interface files for C->Idris callsEdwin Brady f70afabReplace a fancy apostrophe with a basic ASCII oneNiklas Larsson b85b2ebRename ideslave to ide-modeDavid Raymond Christiansen e0861bbAdded missing documentation for the CLI.Jan de Muijnck-Hughes 7fedc76Extended parseFlagsNorbert Melzer 8e6b636Optimisation optionsEdwin Brady d9b4c4cFix for optparse-applicative breaking changeRyanGlScott 4fd6bc6Allow REPL to run on another port (flag --port)Sebastian de Bellefon b46ba07Fix typo in help message (language extension)Mort Yao 12ff2e3Remove unnecessary importDavid Raymond Christiansen 73c481dfix compatibility with optparse-applciative 0.10 - the `option` API is changed - `execParserMaybe` is deprecatedsuhorng da7470bDocument --check in --helpShea Levy 93f407dUse strings for code generatorsEdwin Brady be0a480provide a new option, --ideslave-socket, for an ideslave listening on a socketHannes Mehnert a75bd0fMerge pull request #1280 from david-christiansen/testrunnerEdwin Brady e2a34a8Add --testpkg option + tests section in IPKG filesDavid Raymond Christiansen 3e614c9Added descriptions to Options parser for the 'help' flag.Jan de Muijnck-Hughes f08f83aFixed typo in CmdOptions to reinstate `--checkpkg`Jan de Muijnck-Hughes 9be5866started working on new cmd arg parserklrr