git.iko.soy/Idris-dev
on aeb032a help sign in
history oftest/regression002/expected
all commits
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