git.iko.soy/Idris-dev
on bd2fa8d help sign in
history oftest/error005/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 25eea96'compute' rather than whnf on disambiguationEdwin Brady 8dc243fMore WHNF in Elab.TermEdwin Brady 09263c1Don't query width when not a ttyNiklas Larsson 83f0af1Display expected type of RHS in error messagesEdwin Brady 85a9d50Update error messages in testsEdwin Brady 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux c666166Improve Fin error rewriter to remove "fromInteger"David Raymond Christiansen d364982Improve rewriter for Fin.fromIntegerDavid Raymond Christiansen 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 348ddceError reflection for FinDavid Raymond Christiansen