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 /test/Xanthous | |
| 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.
Diffstat (limited to 'test/Xanthous')
| -rw-r--r-- | test/Xanthous/DataSpec.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Xanthous/DataSpec.hs b/test/Xanthous/DataSpec.hs index bd02c0f36f..a2fcdbba15 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 ] ] |