diff options
| author | Griffin Smith <root@gws.fyi> | 2019-12-31T16·28-0500 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2019-12-31T16·28-0500 |
| commit | 14997bc1a3501cb3b759dc6dff7a2604deb6648b (patch) | |
| tree | 26b062cf223679a587b1a7dbe3d36c5018f79003 | |
| parent | 0373e06c02d16a30e1cc39da9962618c066d14e7 (diff) | |
Fix ambiguity error in Opposite tests
For some reason cabal wasn't properly recompiling this file locally to pick up the introduction of an ambiguity error.
| -rw-r--r-- | src/Xanthous/Data.hs | 2 | ||||
| -rw-r--r-- | test/Xanthous/DataSpec.hs | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/Xanthous/Data.hs b/src/Xanthous/Data.hs index 8a8a62d0ee08..5e451695825f 100644 --- a/src/Xanthous/Data.hs +++ b/src/Xanthous/Data.hs @@ -334,6 +334,7 @@ data Corner | BottomLeft | BottomRight deriving stock (Show, Eq, Ord, Enum, Bounded, Generic) + deriving Arbitrary via GenericArbitrary Corner instance Opposite Corner where opposite TopLeft = BottomRight @@ -347,6 +348,7 @@ data Edge | RightEdge | BottomEdge deriving stock (Show, Eq, Ord, Enum, Bounded, Generic) + deriving Arbitrary via GenericArbitrary Edge instance Opposite Edge where opposite TopEdge = BottomEdge diff --git a/test/Xanthous/DataSpec.hs b/test/Xanthous/DataSpec.hs index bd02c0f36fe5..a2fcdbba15e0 100644 --- a/test/Xanthous/DataSpec.hs +++ b/test/Xanthous/DataSpec.hs @@ -57,14 +57,14 @@ test = testGroup "Xanthous.Data" , testGroup "Corner" [ testGroup "instance Opposite" - [ testProperty "involutive" $ \corner -> + [ testProperty "involutive" $ \(corner :: Corner) -> opposite (opposite corner) === corner ] ] , testGroup "Edge" [ testGroup "instance Opposite" - [ testProperty "involutive" $ \edge -> + [ testProperty "involutive" $ \(edge :: Edge) -> opposite (opposite edge) === edge ] ] |