-
Notifications
You must be signed in to change notification settings - Fork 66
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
Create and install a test_lib.cmi file #205
Comments
@yurug indeed, Merlin is currently not aware of the signature of learn-ocaml/src/grader/grading.ml Lines 144 to 150 in f386da9
However, note that we were able to implement one similar feature in the learn-ocaml-editor project: when the teacher clicks on the |
FYI this feature can be tested in the live demo of learn-ocaml-editor (currently version 0.4.0) here: |
Thank you @erikmd! I am aware of this dynamic creation of Test_lib for the grading toplevel. However, I do not understand why we cannot compile a fake .mli file for the sole purpose of informing merlin about what can be expected in |
Hi @yurug,
OK I see, this could be feasible indeed :) but it seems to me this solution couldn't be "complete", because in practice
Kind regards, Erik |
Hear, hear! I was just about to ask for this feature. |
Regarding functions in |
When we develop graders, it would be convenient to have .merlin know the signature of
Test_lib
.We should probably compile
Test_lib
interface and install the resultingcmi
file in the learn-ocaml package directory.The text was updated successfully, but these errors were encountered: