Should fold preserve types?

[Waldek Hebisch]

I have found multiple places where `fold' (from gcc-3.5-20040327)
returns integers as results of comparisons. GNU Pascal needs 
boolean type so passes as argument expresion of boolean type.
Since `fold' returns integers this causes spurious error messages
on valid Pascal programs. So my question is if `fold' should be 
fixed or should I put a wrapper around `fold' for Pascal use?

-- 
                              Waldek Hebisch
hebisch@math.uni.wroc.pl