git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/regression002
39 files
../ A.lidrConsolidate reg007 into regression002 Canonicity.idrRemember constants when checking recoverability DoubleEquality.idrConsolidate reg072 into regression002 Mod.idrConsolidate reg069 into regression002 Negation.idrHandle constant negation in parsing phase badbangop.idrConsolidate reg050 into regression002 baddoublebang.idrConsolidate reg050 into regression002 expected.outRename expected, input and run reg001.idrFix tests (buffer002, regression002) reg002.idrFix binding rules in patterns reg003.idrConsolidate reg003 into regression002 reg003a.idrConsolidate reg003 into regression002 reg006.idrConsolidate reg006 into regression002 reg007.lidrConsolidate reg007 into regression002 reg010.idrConsolidate reg010 into regression002 reg018a.idrConsolidate reg018 into regression002 reg018b.idrConsolidate reg018 into regression002 reg018c.idrConsolidate reg018 into regression002 reg018d.idrConsolidate reg018 into regression002 reg023.idrConsolidate reg023 into regression002 reg028.idrConsolidate reg028 into regression002 reg028a.idrConsolidate reg028 into regression002 reg034.idrConsolidate reg034 into regression002 reg035.idrConsolidate reg035 into regression002 reg035a.lidrConsolidate reg035 into regression002 reg035b.idrConsolidate reg035 into regression002 reg044.idrConsolidate reg044 into regression002 reg049.idrConsolidate reg049 into regression002 reg054.idrConsolidate reg054 into regression002 reg055.idrConsolidate reg055 into regression002 reg055a.idrConsolidate reg055 into regression002 reg056.idrConsolidate reg056 into regression002 reg068.idrConsolidate reg068 into regression002 reg069.idrConsolidate reg069 into regression002 reg070.idrConsolidate reg070 into regression002 reg076.idrFold tests into regression002. reg077.idrFold tests into regression002. run.shRename expected, input and run working.idrConsolidate reg050 into regression002