Discussion:
[ocaml-platform] Checking a constraint for an OCaml class
Markus Elfring
2016-08-08 14:15:27 UTC
Permalink
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
Lukasz Stafiniak
2016-08-08 14:24:30 UTC
Permalink
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-***@inria.fr (if you intend a
free-ranging discussion of general interest) or
Post by Markus Elfring
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
http://lists.ocaml.org/listinfo/platform
Loading...