We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
In the OCaml generation, Ott sometime generates documentation comments starting with (** in places where they are not documenting any particular item:
(**
(** auxiliary functions on the new list types *) (** library functions *) (** subrules *) (** auxiliary functions *) (** free variables *) (** substitutions *) (** context application *)
This in turn generate the warning 50 of ocaml compiler:
Warning 50: unattached documentation comment (ignored)
It would be nice to change those generated comments to normal OCaml comments starting with a single *.
*
The text was updated successfully, but these errors were encountered:
No branches or pull requests
In the OCaml generation, Ott sometime generates documentation comments starting with
(**
in places where they are not documenting any particular item:This in turn generate the warning 50 of ocaml compiler:
It would be nice to change those generated comments to normal OCaml comments starting with a single
*
.The text was updated successfully, but these errors were encountered: