git.iko.soy/Idris-dev
on 4e4b7df help sign in
history ofmain/Main.hs
all commits
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 437a06bFix argument syntax to match what Idris actually wantsDavid Raymond Christiansen 63d2989Add --repl [package] command line optionEdwin Brady e1e7b8cCorrect usage informationMarkus Pfeiffer fdbee50Command line option improvements.Jan de Muijnck-Hughes ef32bc6Change idris.cabal so library only builds onceEdwin Brady