Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Calling a message Unit yields uncompileable code #128

Closed
Leonidas-from-XIV opened this issue Jul 18, 2018 · 1 comment
Closed

Calling a message Unit yields uncompileable code #128

Leonidas-from-XIV opened this issue Jul 18, 2018 · 1 comment

Comments

@Leonidas-from-XIV
Copy link

It gets translated into unit which then fails to compile because the .ml and the .mli file disagree on what unit refers to and yields confusing errors like:

Error: The implementation src/licensing/licensing_types.pp.ml
       does not match the interface src/licensing/.licensing.objs/licensing__Licensing_types.cmi:
       Values do not match:
         val default_unit_unlimited : unit -> unit_unlimited
       is not included in
         val default_unit_unlimited : unit -> unit_unlimited
       File "src/licensing/licensing_types.mli", line 73, characters 0-51:
         Expected declaration
       File "src/licensing/licensing_types.ml", line 67, characters 8-30:
         Actual declaration
@mransan
Copy link
Owner

mransan commented Nov 4, 2019

Fixed in #145 will start an opam release.

@mransan mransan closed this as completed Nov 4, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants