git.iko.soy/Idris-dev
on 5e2000e help sign in
history oftest/proof007/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 83f0af1Display expected type of RHS in error messagesEdwin Brady 85a9d50Update error messages in testsEdwin Brady 8cc2312Don't let tests depend on colouring.Niklas Larsson 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux c729d2fSupport scoped type class constraintsEdwin Brady ab36099Use a zipper-like proof stateEdwin Brady e363c09Better treatment of unbound implicitsEdwin Brady 9a25dfaTests on default args and substitutionTimo Petteri Sinnemäki