git.iko.soy/Idris-dev
on master help sign in
Add missing test file
fc261d6Edwin Brady
test/regression002/reg001.idrnew file+5
compare with master
unifiedsplit
@@ -0,0 +1,5 @@
1+%logging 0
2+foo : (a : Type) -> (b : Type) -> a -> b
3+foo a a x = x
4+%logging 0
5+