git.iko.soy/Idris-dev
on dff4fcd help sign in
history oftest/reg034/expected
all commits
85a9d50Update error messages in testsEdwin Brady 8cc2312Don't let tests depend on colouring.Niklas Larsson 40f6534Better typecase checkEdwin Brady 0d8a153New way of dealing with unmatchable patternsEdwin Brady e363c09Better treatment of unbound implicitsEdwin Brady 921b766Fix name propagation in error messagesEdwin Brady 57c3ffcAdd application context to all error messagesDavid Raymond Christiansen 45a0addUpdate for new unification error messagesDavid Raymond Christiansen ac446bdAdd new regression testEdwin Brady