fail on field conflict

anoma · Aug 9, 2023 · d70dd59 · d70dd59
1 parent 4384029
commit d70dd59
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Juvix/Data/FixityInfo.hs b/src/Juvix/Data/FixityInfo.hs
@@ -31,6 +31,8 @@ instance FromJSON FixityInfo where
         _fixityPrecSame <- keyMay "same" asText
         _fixityPrecBelow <- fromMaybe [] <$> keyMay "below" (eachInArray asText)
         _fixityPrecAbove <- fromMaybe [] <$> keyMay "above" (eachInArray asText)
+        when (isJust _fixityPrecSame && not (null _fixityPrecBelow && null _fixityPrecAbove)) $
+          throwCustomError "'same' cannot be provided together with 'above' or 'below'"
         return FixityInfo {..}
 
       parseArity :: Parse YamlError Arity