git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/regression001
32 files
../ coverage001.idrBetter choice of pattern to inspect in coverage eff001.idrFix whnfArgs naming error expected.outRename expected, input and run reg001.idrFix binding rules in patterns reg002.idrSupport interfaces in mutual blocks reg003.idrAdd regression test reg004.lidrFix binding rules in patterns reg005.idrRemove pattern variables from size change graphs reg006.idrFix implicits under rewrite reg007.idrChange DecEq primitives to use believe_me reg036.idrMake arguments implicit in HVect.Shows reg037.idrTesting Adjustments for Quicker Regression Tests. reg038.idrTesting Adjustments for Quicker Regression Tests. reg046.idrFix binding rules in patterns reg047.idrFix binding rules in patterns reg047a.idrFix binding rules in patterns reg053.idrTesting Adjustments for Quicker Regression Tests. reg057.idrTesting Adjustments for Quicker Regression Tests. reg058.idrTesting Adjustments for Quicker Regression Tests. reg058a.idrTesting Adjustments for Quicker Regression Tests. reg059.idrTesting Adjustments for Quicker Regression Tests. reg060.idrTesting Adjustments for Quicker Regression Tests. reg061.idrTesting Adjustments for Quicker Regression Tests. reg062.idrTesting Adjustments for Quicker Regression Tests. reg063.idrTesting Adjustments for Quicker Regression Tests. reg064.idrFix binding rules in patterns reg065.idrreplace code level class symbol with inferface reg066.idrTesting Adjustments for Quicker Regression Tests. reg071.idrTesting Adjustments for Quicker Regression Tests. reg073.lidrTesting Adjustments for Quicker Regression Tests. reg074.idrTesting Adjustments for Quicker Regression Tests. run.shRename expected, input and run