Skip to content

Comments

Fix EIO build errors#20

Open
georgyo wants to merge 1 commit intohaesbaert:masterfrom
georgyo:eio_fixes
Open

Fix EIO build errors#20
georgyo wants to merge 1 commit intohaesbaert:masterfrom
georgyo:eio_fixes

Conversation

@georgyo
Copy link

@georgyo georgyo commented Jul 24, 2023

Fixes the following build errors

Entering directory '/home/shammas/tmp/charrua'
File "vendor/rawlink/lib/eio_rawlink.ml", line 42, characters 12-25:
42 |     let n = Eio.Flow.read t.flow t.buffer in
                 ^^^^^^^^^^^^^
Error (alert deprecated): Eio.Flow.read
Use single_read if you really want this.
File "vendor/rawlink/lib/eio_rawlink.ml", line 21, characters 2-23:
21 |   fd : Unix.file_descr;
       ^^^^^^^^^^^^^^^^^^^^^
Error (warning 69 [unused-field]): record field fd is never read.
(However, this field is used to build or mutate values.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant