[m-users.] primes...

[Sean Charles (emacstheviking)]

OK, I was pretty sure it wasn't but sometimes you can miss things.

Thank you Zoltan.


> On 3 Apr 2022, at 21:08, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
> 
> 
> 
> On Sun, 3 Apr 2022 21:05:03 +0100, "Sean Charles (emacstheviking)" <objitsu at gmail.com <mailto:objitsu at gmail.com>> wrote:
> 
>> In the reference_manual there is reference to a predicate on page 22...
>> 
>> Threading the I/O state
>> main(!IO) :-
>> io.write_string("The 100th prime is ", !IO),
>> X = prime(100),
>> io.write_int(X, !IO),
>> io.nl(!IO)
>> 
>> Is this really a library function somewhere?
> 
> No, it is not in the Mercury standard library. Its use there
> is simply to make the example slightly more realistic.
> 
> Zoltan.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20220403/44dc0479/attachment.html>