>>>>> "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
