audio_wavefiles
audio_wavefiles copied to clipboard
Simplify boolean expression
Why not replace https://github.com/Ada-Audio/audio_wavefiles/blob/8e1162c5b9dc604a835f60be6a78e8f9d3c85052/src/audio-wavefiles.adb#L50-L52 with
function No_Errors (WF : in out Wavefile) return Boolean is
(for all Error of WF.Errors => not Error);
