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