git.iko.soy/Idris-dev
on bbefa33 help sign in
history ofmain/Main.hs
all commits
d4bd8e6Clean up unused imports (#4065)Jason Felice 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 9e69858Fixed unstylized things in Idris and stylize.sh scriptAhmad Salim Al-Sibahi 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes f6cd836Always run all tests, and exit 1 if any failJames Alexander Feldman-Crough e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan de5a79cAllow Idris to install IdrisDoc into a central location.Jan de Muijnck-Hughes 513bb17Merge pull request #3432 from steshaw/intero-tweak-in-mainNiklas Larsson edea8daUse `ifail` instead of `headNote`.Steven Shaw bf9a3a4Tweak to silence intero about non-exhaustive patterns.Steven Shaw a02fcf4Fix misleading comment about IDE Mode server.Steven Shaw 4431513Refactor `main/Main.hs`.Steven Shaw be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes 7973024Some internal structural Changes.Jan de Muijnck-Hughes cb210b1Addition of a command line flag `--info`.Jan de Muijnck-Hughes e9faa69Moved show commands from main to Idris.Info.ShowJan de Muijnck-Hughes c866814Moved info show functions to library.Jan de Muijnck-Hughes 757b76fAdded new items to Idris.InfoJan de Muijnck-Hughes c96148cCollate 'info' about idris setup.Jan de Muijnck-Hughes cc1d697Improvements to iPKG code.Jan de Muijnck-Hughes 3ce13cbCleanup main warnings (#3123)Leif Warner 3eacf1cMake command line options accessible to package parser.Jan de Muijnck-Hughes e1659e3Main.hs: drop unused imports, minor readability improvementsHeather fd9003bAdded flag to display available logging categories.Jan de Muijnck-Hughes b9b19e5Implement bundled toolchain featureNiklas Larsson 6ae2e26disable windows specific UTF8 encodingHeather 5300c53Fix :exec on WindowsNiklas Larsson 1b4b01cSet encoding to UTF8 on WindowsNiklas Larsson 2f0ec2eUse pre-existing function to list installed packages at command lineBen Sherman 3f81406import slipped throughNorbert Melzer 7cef7eaprint every subdir of libdir as a packageNorbert Melzer 684a578Completely replace ErrorT with ExceptTbmsherman 27d6b04Call gcc using rawSystemMelvar Chen b8bcd3dExit after running --clientEdwin Brady 4fd6bc6Allow REPL to run on another port (flag --port)Sebastian de Bellefon 971d88dAnnotate several top-level functionsMichael Maloney c6574b4Added idris-c executableEdwin Brady e2a34a8Add --testpkg option + tests section in IPKG filesDavid Raymond Christiansen 9be5866started working on new cmd arg parserklrr 07a002fInserted a newline which seamed to be missing.Philip Rasmussen 4155853--link and --include give flags, not directoriesBrian McKenna 5bd1695Add -e EXPR to evaluate expressions w/out REPLDavid Raymond Christiansen dd44389Merged with masterPhilip Rasmussen 4957a33Make --nowarnreach the default (for now).Matus Tejiscak bfd9900Add --nowarnreach.Matus Tejiscak d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen 5c119daFix typo in usage messageRicky Elrod 8b20137Document -X at command lineDavid Raymond Christiansen