git.iko.soy/Idris-dev
on cd58dfb help sign in
history oftest/error006/expected
all commits
11c1a23Raise an error if too many "with" arguments are providedZack Grannan 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