git.iko.soy/Idris-dev
on d689c19 help sign in
history oftest/basic018/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 998c8f4Elaborator warnings are now correctly reportedJan de Muijnck-Hughes a1e3b5bRevert to normalising from WHNFEdwin Brady d0671a3Use WHNF in a few placesEdwin Brady 09263c1Don't query width when not a ttyNiklas Larsson 92a4d84Implicit bindings warningsEdwin Brady