git.iko.soy/Idris-dev
on e2005e1 help sign in
history oftest/basic009/expected
all commits
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