Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Dynlink.allow_only should call default_available_units or docs should be updated #4771
Original bug ID: 4771
Dynlink.allow_only filters the current list of units available to dynlink'd modules. This is slightly counterintuitive for subsequent calls to allow_only (e.g. in the toplevel) where one might reasonably assume that:
meant that Pervasives and String are now both available when in fact only Pervasives will be.
Either allow_only should call default_available_units before filtering or the documentation should be clearer as to how the function behaves.