From 2ac94975593e05aeb02c7755bb34274a9462d0d9 Mon Sep 17 00:00:00 2001 From: Rick Winfrey Date: Tue, 10 Jan 2017 15:40:10 -0800 Subject: [PATCH] Add Default and TypeDecl arbitrary categories --- src/Category.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Category.hs b/src/Category.hs index a66b12ed7..6f7b66a8e 100644 --- a/src/Category.hs +++ b/src/Category.hs @@ -288,6 +288,8 @@ instance Arbitrary Category where , pure Superclass , pure SingletonClass , pure ParameterDecl + , pure Default + , pure TypeDecl , Other <$> arbitrary ]