git.iko.soy/Idris-dev
on master help sign in
Add missing test
b37dcbeEdwin Brady
test/unique001/unique001e.idrnew file+4
compare with master
unifiedsplit
@@ -0,0 +1,4 @@
1+
2+data BadList : UniqueType -> Type where
3+ Nil : {a : UniqueType} -> BadList a
4+ (::) : {a : UniqueType} -> a -> BadList a -> BadList a