git.iko.soy/Idris-dev
on 75feef7 help sign in
history ofsrc/Idris/Output.hs
all commits
18c98cbPosition is no longer reported twiceJorge Acereda 193589fWhy nub a list when you can use a set.Jan de Muijnck-Hughes 90683e3Fix repetition in Idris Highlights.Jan de Muijnck-Hughes fb717ccFix compilation with GHC 8.4Niklas Larsson 37b4861Rename to emitWarningJason Felice fd63a9dRename to SimpleWarningJason Felice e1697f7Make stylish changeJason Felice 7a2acb1Use formatMessage instead of parseErrorDocJason Felice 74ddf72Rename to MessageJason Felice 826b491Extract formatWarningJason Felice 11b0ffaIntroduce "emit"Jason Felice fb4c5e4Use iWarn for parse errorsJason Felice 10763d2Make intersection 'more correct'Jason Felice 3f0c51aRename to sourceDocJason Felice cd87fcdAnnotate warning source lineJason Felice 1a62f62Compose DocsJason Felice 1dc09acClean up iWarn a bit moreJason Felice 79351eeAdd blank line after "large" messagesJason Felice 6e98ac1layoutSource returns DocJason Felice abc6b5cRefactor iWarnJason Felice 7d0c06bPut source code before error (like parse errors)Jason Felice f967817Make warnings, non-parse errors prettyJason Felice 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 4f1f462Fix LaTeX pretty printing of backslash, braces and percentJoomy Korkut b71e85bAdd styling for metavariables in LaTeX and HTML pretty printerJoomy Korkut bdc6945Add export list to Idris.ErrorNiklas Larsson c57370eAdd export list to Idris.Output and Idris.ModeCommonNiklas Larsson d4bd8e6Clean up unused imports (#4065)Jason Felice 054978cRevert "Fix #4020: Fix duplication in output of `--hightlight`."Jan de Muijnck-Hughes c51fd2dFix #4020: Fix duplication in output of `--hightlight`.Jan de Muijnck-Hughes 5d7388bMove extensions into source filesEdwin Brady 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 088360fUpdated CHANGELOG and tests.Jan de Muijnck-Hughes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 09263c1Don't query width when not a ttyNiklas Larsson 0896073Added documentation for modules.Jan de Muijnck-Hughes dfba993Experimental support for console colours on WindowsDavid Raymond Christiansen 9af272eStop traveling through time when highlightingDavid Raymond Christiansen ec0b043Parser-driven highlighting of quasiquoted regionsDavid Raymond Christiansen 2a4e82bParser-driven highlighting of quotation symbolsDavid Raymond Christiansen 520f367Initial parser-driven highlightingDavid Raymond Christiansen 09d107aChange namespace display in :t and :docEdwin Brady ac68541Dump highlighting infoDavid Raymond Christiansen 8d96041Annotate links with their URLDavid Raymond Christiansen 8f9901dAnnotate module imports in source codeDavid Raymond Christiansen acdf90fBe a bit more conservative about highlighting outputDavid Raymond Christiansen 268296fHighlight the names in type declarationsDavid Raymond Christiansen da3a26cAccurate locations for constantsDavid Raymond Christiansen c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen 0f86748Fix build errors with GHC 7.10.1. Fixes #2080Jan Stolarek