git.iko.soy/Idris-dev
on 4efeda8 help sign in
history oftest/proof002/expected
all commits
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 58c3bb7Hide more features behind %language pragmasEdwin Brady ed2bda5Updates to renaming dependent pairs.Jan de Muijnck-Hughes a14e4edSimplify export rules.Edwin Brady 83f0af1Display expected type of RHS in error messagesEdwin Brady 752a2fcUpdate tests for proof deprecationDavid Raymond Christiansen e1fce3fFix error location in testDavid Raymond Christiansen 85a9d50Update error messages in testsEdwin Brady 61870cbChange wording in unification errorsEdwin Brady 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux 179c704Record provenance of types in 'fill' errorsEdwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 42c694cMore efficiency improvementsEdwin Brady 9000ecfSpot name clases in error messagesEdwin Brady 45a0addUpdate for new unification error messagesDavid Raymond Christiansen 1d2fc7fCategorise testsEdwin Brady