Re: docs for random function

Sam Mason <sam(at)samason(dot)me(dot)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 &lt;= x &lt; 1.0</entry>
<entry><literal>random()</literal></entry>
<entry></entry>
</row>

regards, tom lane