-
Notifications
You must be signed in to change notification settings - Fork 19
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
Disable warning 70 or generating an interface file #35
Comments
Emitting a .mli file is a lot of work, and I hardly see any value in generting But I don't see any harm in disabling warning 70 in the auto-generated files. |
It seems that |
I assume that you have enabled warning 70 on your project which is why you see this error. Closing for now. |
Improve documentation emittet for oneof fields
Hi, I'm wondering whether it would be appropriate to add a flag to emit a suppression of warning 70 (missing mli file), or a flag to generate an interface file. In either case, I'm happy to submit a pull request.
The text was updated successfully, but these errors were encountered: