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

Unbound modules using corebuild #49

Open
riseremi opened this issue Feb 14, 2018 · 0 comments
Open

Unbound modules using corebuild #49

riseremi opened this issue Feb 14, 2018 · 0 comments

Comments

@riseremi
Copy link

riseremi commented Feb 14, 2018

Thank you for the plugin!

I'm using corebuild (comes with core package by Jane Street) to build my project. My project structure is:

hello.ml
io.ml

And my hello.ml is:

(* 'Unbound module Core' was fixed by PKG Core *)
open Core;;

(* Cannot fix 'Unbound module Io' here *)
print_endline (Io.get_file_content "input.txt")

Io is auto-imported by corebuild, I do not #use or open it. How can I tell linter that this module is actually exists?

I tried PKG Io and B ./ in my .merlin file, but it doesn't help.

@riseremi riseremi changed the title Ability to "import" definitions or so Unbound module Core Feb 14, 2018
@riseremi riseremi changed the title Unbound module Core Unbound modules Feb 14, 2018
@riseremi riseremi changed the title Unbound modules Unbound modules using corebuild Feb 14, 2018
@riseremi riseremi changed the title Unbound modules using corebuild Unbound modules using corebuild Feb 14, 2018
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

1 participant