git.iko.soy/Idris-dev
on cd58dfb help sign in
history oftest/error004/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 83f0af1Display expected type of RHS in error messagesEdwin Brady c931effProof search improvementsEdwin Brady dc4d3e1Test updateDavid Raymond Christiansen 02a8a08Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/2322David Raymond Christiansen 38123a4Resugaring for do and fromIntegerDavid Raymond Christiansen 85a9d50Update error messages in testsEdwin Brady 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux 0337afeMake proof arguments to list functions implicitDavid Raymond Christiansen f490d9fFix testDavid Raymond Christiansen 57c3ffcAdd application context to all error messagesDavid Raymond Christiansen be0bf4cTemporarily remove function argument error reflectionDavid Raymond Christiansen 1d2fc7fCategorise testsEdwin Brady