git.iko.soy/Idris-dev
on cfb0cd7 help sign in
history oftest/meta004/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 58c3bb7Hide more features behind %language pragmasEdwin Brady 3edbd8eHandle impossible cases on defineFunctionDavid Raymond Christiansen 3264b8fAdd test for lookupFunDefnShea Levy