polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-12-03 13:05:09 +03:00
Code Issues Projects Releases Wiki Activity

Remove redundant bracket

Browse Source
This commit is contained in:
Georgi Lyubenov 2019-05-05 17:24:42 +03:00
parent 849ad0740a
commit 35132bd70e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Polysemy/Internal/Union.hs
View File

@ -125,7 +125,7 @@ data SNat :: Nat -> * where
SS :: SNat n -> SNat ('S n)
instance TestEquality SNat where
testEquality SZ SZ = (Just Refl)
testEquality SZ SZ = Just Refl
testEquality (SS _) SZ = Nothing
testEquality SZ (SS _) = Nothing
testEquality (SS n) (SS m) =