git.iko.soy/Idris-dev
on 1b71663 help sign in
history oftest/basic006/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 09263c1Don't query width when not a ttyNiklas Larsson 83f0af1Display expected type of RHS in error messagesEdwin Brady 85a9d50Update error messages in testsEdwin Brady 61870cbChange wording in unification errorsEdwin Brady 179c704Record provenance of types in 'fill' errorsEdwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady ed81980Update expected error messages for testsBen Sherman e7a35e9Remove implicit qualifier for 'effect'Edwin Brady f569155Update test for more informative error messagesDavid Raymond Christiansen 1d2fc7fCategorise testsEdwin Brady