search

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

Rename `tupN` into `tuplN` to avoid name clashes with data-encoding #84

Closed lthms closed 2 years ago

lthms commented 2 years ago

The underlying issue (poor support for shadowing of primitive types) remains, but at least we won’t trigger it when using coqffi with a project relying on data-encoding.