40783b2c9c5750583151dda9d04b435d3d0d8a63b6f33cccfa94fd8ed958c14a.tri (253B)
1 !import io_v2 as IO 2 !import io_v2_text as Text 3 !export main 4 -- Explicit v2 output, with ordinary write failure checked before success. 5 main = IO.io (IO.require IO.stdout (writer : 6 IO.require (Text.writeText writer "Hello, tricu\n") (_ : IO.pure "")))