git.iko.soy/Idris-dev
on ca34dec help sign in
history oftest/regression002/expected
all commits
ab3985aHandle constant negation in parsing phaseZack Grannan db69077Fix binding rules in patternsEdwin Brady 5205520Add mysteriously missing bits of regression002Edwin Brady c60a22bFix tests (buffer002, regression002)Edwin Brady 06db7dcFix corner case with dot patternsEdwin Brady fb4c5e4Use iWarn for parse errorsJason Felice 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 8e1a52cFix error location for lhs for prefix app clausesJason Felice b1a4264Improve error message locations (#4210)Jason Felice 09ae716Fix regression002 error messageJason Felice e9f7039New formatting for some error messagesJason Felice 998c8f4Elaborator warnings are now correctly reportedJan de Muijnck-Hughes 3fba96bRemember constants when checking recoverabilityEdwin Brady 4057b48Modify pretty printer for lambdasEdwin Brady 4a23805updated the test outputPoroCYon ea0f628Fold tests into regression002.Björn Aili 46209a7Rebase master and fix conflictsSteven Shaw 97baef4Consolidate reg072 into regression002Steven Shaw 5208aebConsolidate reg070 into regression002Steven Shaw 1e1c449Consolidate reg069 into regression002Steven Shaw 2e20173Consolidate reg068 into regression002Steven Shaw e2f1da2Consolidate reg056 into regression002Steven Shaw 2bf2038Consolidate reg055 into regression002Steven Shaw ea745fcConsolidate reg054 into regression002Steven Shaw 88c66f9Consolidate reg050 into regression002Steven Shaw d15d21bConsolidate reg049 into regression002Steven Shaw d9b8bcbConsolidate reg044 into regression002Steven Shaw 2683ffaConsolidate reg035 into regression002Steven Shaw 087a7c3Consolidate reg034 into regression002Steven Shaw 7f53344Consolidate reg028 into regression002Steven Shaw eac558eConsolidate reg023 into regression002Steven Shaw 44fb18fConsolidate reg018 into regression002Steven Shaw 812566dConsolidate reg010 into regression002Steven Shaw 7701a90Consolidate reg007 into regression002Steven Shaw c318c38Consolidate reg006 into regression002Steven Shaw 1db1851Consolidate reg003 into regression002Steven Shaw