Add missing test
commitb37dcbeab39817b9d6c565f8b241e53ee226d137
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 21 Aug 2014, 23:09 (12 years ago)
parentbc2bcb6
test/unique001/unique001e.idrnew file+4
@@ -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