git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/Idris/Main.hs
all commits
f590608Reexport parseErrorDoc from Idris.ParserJason Felice 22587b2Make ParseError a newtypeJason Felice 5048ad4Introduce ParseError type aliasJason Felice e680962Return parse results using EitherJason Felice 1f8db23Import Trifecta qualified as PJason Felice 4a3fe0cLinearTypes extension improvementsEdwin Brady 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 088360fUpdated CHANGELOG and tests.Jan de Muijnck-Hughes 71b49d3Refuse to work if listed packages are not installed.Jan de Muijnck-Hughes f40d2f9Reduce default optimisation levelEdwin Brady 4a65355Run Idris in a UTF-8-compatible codepage on WindowsRyan Scott fb33d8cIndentation configuration via command line args.Steven Shaw 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes fa260c0Signal failures with proper exit codeEcho Nolan e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes