git.iko.soy/Idris-dev
on master help sign in
Remove pointless logging directives in regression2
6dca7b8Edwin Brady
test/regression002/reg001.idr−2
compare with master
unifiedsplit
@@ -1,5 +1,3 @@
1−%logging 0
2foo : (a : Type) -> (b : Type) -> a -> b
1foo : (a : Type) -> (b : Type) -> a -> b
3foo a a x = x
2foo a a x = x
4−%logging 0
5
3