git.iko.soy/Idris-dev
on master help sign in
history of4162113..master
compare
2576d6dFormat some messages in the proverJason Felice e1697f7Make stylish changeJason Felice 117a8ecMerge remote-tracking branch 'upstream/master' into pretty-warningsJason Felice 28c3928Add helper functions for MonadAlex Gryzlov eb4c235Merge remote-tracking branch 'upstream/master' into pretty-warningsJason Felice 7a2acb1Use formatMessage instead of parseErrorDocJason Felice 74ddf72Rename to MessageJason Felice 826b491Extract formatWarningJason Felice 11b0ffaIntroduce "emit"Jason Felice 0a7fe41Use iWarn some moreJason 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 f743272Don't include '=' for RHS spanJason Felice bab82b5Show unreachable case warnings like other warningsJason 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 0bb18f1Add CHANGELOG entryJason Felice f967817Make warnings, non-parse errors prettyJason Felice