Dear Christophe,

You can disable the use of "-opaque" by always compiling in the release profile, either by passing "--profile release" on the command line or by adding (profile release) to the dune-workspace file.

Hope that helps,

Nicolas

De : caml-list-request@inria.fr <caml-list-request@inria.fr> de la part de Christophe Raffalli <christophe@raffalli.eu>
Envoyé : vendredi 15 janvier 2021 04:57
À : caml-list@inria.fr <caml-list@inria.fr>
Objet : Re: [Caml-list] functor inlining

CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.