Add support for asynchronous computations powered by Lwt

coq-community / coqffi

Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]

https://coq-community.org/coqffi/

MIT License

35 stars 8 forks source link

Closed lthms closed 3 years ago

lthms commented 3 years ago

[x] Instance of synchronous primitives for Lwt.t, using Lwt.return
[x] Extraction primitives for asynchronous primitives
[x] Documentation which notably states that it is necessary to provide Lwt.t and its extraction primitives to be able to use -flwt

lthms commented 3 years ago

Due to its size, this will probably be the last feature before 1.0.0~beta4.