Add missing test file
commitfc261d6e073f32fe53106cb55105e0a81f974d6c
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 22 Jan 2018, 09:29 (9 years ago)
parent06db7dc
test/regression002/reg001.idrnew file+5
@@ -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+