git.iko.soy/Idris-dev
on ca34dec help sign in
history oftest/reg007/expected
all commits
09263c1Don't query width when not a ttyNiklas Larsson 83f0af1Display expected type of RHS in error messagesEdwin Brady 85a9d50Update error messages in testsEdwin Brady 61870cbChange wording in unification errorsEdwin Brady 95d90f4Better highlighting for data declarationsDavid Raymond Christiansen 179c704Record provenance of types in 'fill' errorsEdwin Brady 88aa6d1Support mixed induction/coinduction with Inf typeEdwin Brady 9eb64f4Rewrite error printing to use the pretty-printerDavid Raymond Christiansen dc4ce0cReplace the string-slinging show with pretty-printDavid Raymond Christiansen 5d2d5a7Failed proofsearch branch creates new metavariableEdwin Brady 57c8657Added column name to sourceAhmad Salim Al-Sibahi 9cdf03aFix compilation of unqualified constructor namesEdwin Brady bfd5b51Make sure names are not defined more than once Fixes issue #124Edwin Brady