git.iko.soy/Idris-dev
on d66da21 help sign in
history oftest/test014/run
all commits
b36dfcdReset test runscripts to mode 0755Markus Pfeiffer 3558c7cChange from shebangs with absolute references to using /usr/bin/envMarkus Pfeiffer 6398a7eAdd argument passing to new testsBenjamin Saunders f26b42fDeal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the qualified version of the name)Edwin Brady 0de6d2dFix resource language, add extra test for itEdwin Brady