The exists and the nil macros are complements and were useful when we only had positive assertions. Now that we have denies we can drop the exists macro and use denies.nil where we would have said asserts.exists before.
Sugar for sugar's sake is just over-saturation.
The
existsand thenilmacros are complements and were useful when we only had positive assertions. Now that we havedenieswe can drop theexistsmacro and usedenies.nilwhere we would have saidasserts.existsbefore.Sugar for sugar's sake is just over-saturation.