git.iko.soy/Idris-dev
on d3badf2 help sign in
Idris-dev/test/regression001
31 files
../ coverage001.idrBetter choice of pattern to inspect in coverage eff001.idrFix whnfArgs naming error expectedTesting Adjustments for Quicker Regression Tests. 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 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. runFix binding rules in patterns