00:53 <sleepydog> I'm just checking here, in case I missed something; I want to get data from a file descriptor into a Bigarray (a Cstruct.t, really). I am not interested in using Lwt or Async, but the Cstruct module only provides read functions in its lwt and async sub-modules, and the stdlib doesn't seem to have I/O for bigarrays.

00:53 <sleepydog> Is there a small package that I can use or should I just write my own C bindings?

03:05 <companion_cube> is it async IO?

05:30 <sim642> I haven't used cstruct but there appears to be cstruct-unix

07:14 <haesbaert> sleepydog: I endered up writing my own, actually copied from Lwt-unix which provided the C binding

07:14 <haesbaert> *ended

10:40 <theblatte> the latest 2 versions of menhir interact badly with flambda for me and it seems that compilation with -O3 diverges or at least doesn't terminate after a few hours (instead of ~5 minutes). Reverting to menhir.20211128 works

10:40 <theblatte> is this a known problem? getting a small repro might be tricky, I'm getting this issue when building infer

12:15 <sleepydog> companion_cube: no, sync I/O from a Thread

12:15 <sleepydog> haesbaert: good to know, I'll probably go that route too.

12:28 <olle> Another question on AST and types

12:29 <olle> Some types are value types and can be copied automatically by C; other types a reference types and are NOT copied

12:29 <olle> Is it adviced to use 'a type params to the "type" type in the AST?

12:29 <olle> type typ 'a = Int

12:30 <olle> Problem is that the struct type can be both by value and ref

12:30 <olle> Or maybe it's easier to just do Struct_value and Struct_ref, and then `let is_value_type t = match t with | Int | Float | Struct_value -> true`

13:45 <companion_cube> haesbaert: could they go in ext-unix?

14:07 <haesbaert> companion_cube: sure, but I think they belong in cstruct-unix more than ext-unix

14:07 <companion_cube> oh there's a cstruct-unix? ok

14:07 <haesbaert> I mean it's not a lot: https://github.com/haesbaert/rawlink/blob/62ffd34247490e8b74b14884654a7e5283e7dcb7/lib/rawlink_stubs.c#L466

14:07 <haesbaert> companion_cube: there was at some point, lemecheck

14:08 <haesbaert> oh cstruct-unix is just a Cstruct mmap