git.iko.soy/Idris-dev
on 1b71663 help sign in
history oftest/basic009/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 998c8f4Elaborator warnings are now correctly reportedJan de Muijnck-Hughes 09263c1Don't query width when not a ttyNiklas Larsson 92a4d84Implicit bindings warningsEdwin Brady 83f0af1Display expected type of RHS in error messagesEdwin Brady b678d7cChanged scoping rules for unbound implicits.Edwin Brady 85a9d50Update error messages in testsEdwin Brady 0819777Improved type-directed disambiguationEdwin Brady 1269791Keep type arguments of = when unelaboratingEdwin Brady 57c3ffcAdd application context to all error messagesDavid Raymond Christiansen 1d2fc7fCategorise testsEdwin Brady