From: Cyril Cohen <cohen@crans.org>
Date: Thu, 11 May 2017 14:35:54 +0000 (+0200)
Subject: Allow overlapping Arbitrary for Face and System
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=b0d843ccce6dab6205dc58ba79608b6f83fd04ec;p=cubicaltt.git

Allow overlapping Arbitrary for Face and System
---

diff --git a/Connections.hs b/Connections.hs
index 9673072..8e15172 100644
--- a/Connections.hs
+++ b/Connections.hs
@@ -59,7 +59,7 @@ instance Arbitrary Dir where
 -- Faces of the form: [(i,0),(j,1),(k,0)]
 type Face = Map Name Dir
 
-instance Arbitrary Face where
+instance {-# OVERLAPPING #-} Arbitrary Face where
   arbitrary = fromList <$> arbitrary
 
 showFace :: Face -> String
@@ -443,7 +443,7 @@ border v = mapWithKey (const . face v)
 shape :: System a -> System ()
 shape = border ()
 
-instance (Nominal a, Arbitrary a) => Arbitrary (System a) where
+instance {-# OVERLAPPING #-} (Nominal a, Arbitrary a) => Arbitrary (System a) where
   arbitrary = do
     a <- arbitrary
     border a <$> arbitraryShape (support a)