handle case where attribute/atom assocs is empty
commit9483da9e9385d46a9dfd3aee27c2b6af27040aec
authorAgentM <agentm@themactionfaction.com>
dateFri 15 Dec 2017, 18:23 (9 years ago)
parente79c7d1
src/lib/ProjectM36/Tupleable.hs+1
@@ -71,6 +71,7 @@ toDefineExpr _ rvName = Define rvName (map NakedAttributeExpr (V.toList attrs))
7171 attrs = toAttributes (Proxy :: Proxy a)
7272
7373tupleAssocsEqualityPredicate :: [(AttributeName, Atom)] -> RestrictionPredicateExpr
74+tupleAssocsEqualityPredicate [] = TruePredicate
7475tupleAssocsEqualityPredicate pairs =
7576 foldr1 AndPredicate $
7677 map