[ocaml-platform] Checking a constraint for an OCaml class

Lukasz Stafiniak lukstafi at gmail.com
Mon Aug 8 15:24:30 BST 2016


The ocaml-platform mailing list is dedicated to the development of the
OCaml toolchain (and possibly the relevant aspects of the OCaml
compiler and libraries).
Your question belongs to either caml-list at inria.fr (if you intend a
free-ranging discussion of general interest) or
ocaml_beginners at yahoogroups.com (if you ask for help).

On Mon, Aug 8, 2016 at 4:15 PM, Markus Elfring <Markus.Elfring at web.de> wrote:
> Hello,
>
> I added a few functions (and methods) to an OCaml class.
> Now I wonder about a corresponding constraint "'b = value:'d -> 'e"
> which is displayed by the command "ocamlc -i omap2b.ml".
>
> How should I find out if such a generated interface description
> is acceptable for my use case?
>
> Regards,
> Markus
> _______________________________________________
> Platform mailing list
> Platform at lists.ocaml.org
> http://lists.ocaml.org/listinfo/platform


More information about the Platform mailing list