Sam Mason <sam@samason.me.uk> writes:
> The docs for the function random() currently say:
> random value between 0.0 and 1.0, inclusive
> this isn't a particularly useful invariant, what the code actually does
> (and is commented as doing) is much more useful. Any chance of changing
> it to something like:
Yeah, it looks like Bruce changed this back in 8.2 and failed to fix
the documentation to match. I used this wording instead:
***************
*** 821,827 **** <row> <entry><literal><function>random</function>()</literal></entry>
<entry><type>dp</type></entry>
! <entry>random value between 0.0 and 1.0, inclusive</entry> <entry><literal>random()</literal></entry>
<entry></entry> </row>
--- 821,827 ---- <row> <entry><literal><function>random</function>()</literal></entry>
<entry><type>dp</type></entry>
! <entry>random value in the range 0.0 <= x < 1.0</entry>
<entry><literal>random()</literal></entry> <entry></entry> </row>
regards, tom lane