git.iko.soy/Idris-dev
on 0b669c7 help sign in
history oftest/meta003/expected
all commits
9fc97f9Add test from the pull request for Elab.tryCatchDavid Christiansen 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 ab63941Added top-level %runElab supportDavid Raymond Christiansen 74bfa88Type check definitions added during Elab reflectionDavid Raymond Christiansen