{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/dune/issues/1432","repository_url":"https://api.github.com/repos/ocaml/dune","labels_url":"https://api.github.com/repos/ocaml/dune/issues/1432/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/dune/issues/1432/comments","events_url":"https://api.github.com/repos/ocaml/dune/issues/1432/events","html_url":"https://github.com/ocaml/dune/issues/1432","id":368476752,"node_id":"MDU6SXNzdWUzNjg0NzY3NTI=","number":1432,"title":"Alias module should be private whenever a lib interface module exists","user":{"login":"rgrinberg","id":139003,"node_id":"MDQ6VXNlcjEzOTAwMw==","avatar_url":"https://avatars3.githubusercontent.com/u/139003?v=4","gravatar_id":"","url":"https://api.github.com/users/rgrinberg","html_url":"https://github.com/rgrinberg","followers_url":"https://api.github.com/users/rgrinberg/followers","following_url":"https://api.github.com/users/rgrinberg/following{/other_user}","gists_url":"https://api.github.com/users/rgrinberg/gists{/gist_id}","starred_url":"https://api.github.com/users/rgrinberg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rgrinberg/subscriptions","organizations_url":"https://api.github.com/users/rgrinberg/orgs","repos_url":"https://api.github.com/users/rgrinberg/repos","events_url":"https://api.github.com/users/rgrinberg/events{/privacy}","received_events_url":"https://api.github.com/users/rgrinberg/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-10-10T03:10:47Z","updated_at":"2018-10-10T12:42:32Z","closed_at":null,"author_association":"MEMBER","body":"#1431 got me thinking that we should really just make the generated alias module private whenever the user writes an explicit interface file. This would prevent the leakage of names like `Base__` in the base library for example."},"comment":{"url":"https://api.github.com/repos/ocaml/dune/issues/comments/428556578","html_url":"https://github.com/ocaml/dune/issues/1432#issuecomment-428556578","issue_url":"https://api.github.com/repos/ocaml/dune/issues/1432","id":428556578,"node_id":"MDEyOklzc3VlQ29tbWVudDQyODU1NjU3OA==","user":{"login":"rgrinberg","id":139003,"node_id":"MDQ6VXNlcjEzOTAwMw==","avatar_url":"https://avatars3.githubusercontent.com/u/139003?v=4","gravatar_id":"","url":"https://api.github.com/users/rgrinberg","html_url":"https://github.com/rgrinberg","followers_url":"https://api.github.com/users/rgrinberg/followers","following_url":"https://api.github.com/users/rgrinberg/following{/other_user}","gists_url":"https://api.github.com/users/rgrinberg/gists{/gist_id}","starred_url":"https://api.github.com/users/rgrinberg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rgrinberg/subscriptions","organizations_url":"https://api.github.com/users/rgrinberg/orgs","repos_url":"https://api.github.com/users/rgrinberg/repos","events_url":"https://api.github.com/users/rgrinberg/events{/privacy}","received_events_url":"https://api.github.com/users/rgrinberg/received_events","type":"User","site_admin":false},"created_at":"2018-10-10T12:42:32Z","updated_at":"2018-10-10T12:42:32Z","author_association":"MEMBER","body":"Indeed it it not possible. We get errors like `Error: The module Base.Array is an alias for module Base__.Array, which is missing` without the cmi for `Base__`"}}
{"actor":{"display_login":"rgrinberg"}}