git.iko.soy/Idris-dev
on 0b669c7 help sign in
history oftest/error003/expected
all commits
f743272Don't include '=' for RHS spanJason Felice 79351eeAdd blank line after "large" messagesJason Felice 7d0c06bPut source code before error (like parse errors)Jason Felice f967817Make warnings, non-parse errors prettyJason Felice b1a4264Improve error message locations (#4210)Jason Felice 09263c1Don't query width when not a ttyNiklas Larsson 83f0af1Display expected type of RHS in error messagesEdwin Brady b678d7cChanged scoping rules for unbound implicits.Edwin Brady 85a9d50Update error messages in testsEdwin Brady 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady b2017d2Pattern variables should be lifted to top levelEdwin Brady e363c09Better treatment of unbound implicitsEdwin Brady 88aa6d1Support mixed induction/coinduction with Inf typeEdwin Brady 5e0a984Remove the ability to reflect At and ElaboratingDavid Raymond Christiansen 1d2fc7fCategorise testsEdwin Brady