git.iko.soy/Idris-dev
on 229331c help sign in
history oftest/syntax001/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 b1a4264Improve error message locations (#4210)Jason Felice 09263c1Don't query width when not a ttyNiklas Larsson 74926ffRenamed Prelude.Classes to Prelude.InterfacesJan de Muijnck-Hughes 83f0af1Display expected type of RHS in error messagesEdwin Brady c48561fBetter approximation of syntax rule errorsDavid Raymond Christiansen e9e7993Replace absurd syntax rule FCsDavid Raymond Christiansen