Re: [m-users.] Impurity needed?

Volker Wysk <[email protected]> Wed, 15 Feb 2023 05:10:30 +0100

Newsgroups	gmane.comp.lang.mercury.general
Message-ID	<[email protected]>

Am Dienstag, dem 14.02.2023 um 01:05 +1100 schrieb Zoltan Somogyi:
> If you need an equivalent of Haskell's unsafe_perform_io, and it seems you do,
> you can build it yourself like this:
> 
> promise_pure (
>   some [!IO] (
>     io.unsafe_get_io_state(!:IO),
>     ...,
>     io.unsafe_set_io_state(!.IO)
>   )
> )

For the record, the Haskell function is "unsafePerformIO", and your code
snippet should be:

promise_pure (
  some [!IO] (
    semipure io.unsafe_get_io_state(!:IO),
    ...,
    impure io.unsafe_set_io_state(!.IO)
  )
).

Thanks for your answer!

Volker

_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users

signature.asc (application/pgp-signature, 833 B)