git.iko.soy/Idris-dev
on ca34dec help sign in
history oftest/error006/expected
all commits
79351eeAdd blank line after "large" messagesJason Felice 7d0c06bPut source code before error (like parse errors)Jason Felice f967817Make warnings, non-parse errors prettyJason Felice 8e1a52cFix error location for lhs for prefix app clausesJason Felice b1a4264Improve error message locations (#4210)Jason Felice 918440eFix issue #2666 ("with" patterns accepted outside of "with" block)Vitaly Bragilevsky