Random should mention that ranges are inclusive

[drathier]

The Random module doesn't mention that ranges are inclusive, and they seem to hint at them being non-inclusive.

int 0 10 -- an integer between zero and ten reads to me as the possible values are 1,2,3,4,5,6,7,8,9, but both 0 and 10 may be generated.

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[evancz]

The latest docs use the example:

import Random

singleDigit : Random.Generator Int
singleDigit =
    Random.int 0 9

Which I hope will make it clearer.

[evancz]

The latest docs use the example:

import Random

singleDigit : Random.Generator Int
singleDigit =
    Random.int 0 9

Which I hope will make it clearer.