git.iko.soy/Idris-dev
on e35d643 help sign in
Idris-dev/test/regression001
32 files
../ coverage001.idrBetter choice of pattern to inspect in coverage eff001.idrFix whnfArgs naming error expectedTesting Adjustments for Quicker Regression Tests. reg001.idrTesting Adjustments for Quicker Regression Tests. reg002.idrSupport interfaces in mutual blocks reg003.idrAdd regression test reg004.lidrAllow explicit arguments for scoped implicits 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.idrTesting Adjustments for Quicker Regression Tests. reg047.idrTesting Adjustments for Quicker Regression Tests. reg047a.idrTesting Adjustments for Quicker Regression Tests. 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. reg062.lidrTesting Adjustments for Quicker Regression Tests. reg063.idrTesting Adjustments for Quicker Regression Tests. reg064.idrTesting Adjustments for Quicker Regression Tests. 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 implicits under rewrite