Re: compilation note -> style-warning?

>>>>> "Nicolas" == Nicolas Neuss <[email protected]> writes:

    Nicolas> Hello,
    Nicolas> in the following code a compilation note (returning of double) triggers
    Nicolas> also a style-warning.  Is this intended?  (I cannot see how to improve the
    Nicolas> style...)

Not sure.  Maybe compilation notes like this should not be a
style-warning.  It's really an efficiency note, but currently
efficiency notes are also style-warnings.  Would an
efficiency-warning, which would be a subtype of style-warning work for
you?

(I think there might also a small bug.  The note is a compiler-note,
but the routine that generates it is called
do-coerce-efficiency-note.)

Ray