You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Modules introduced by later namespaces in OCAML_NAMESPACES will shadow modules introduced by earlier namespaces. In addition, modules introduced by -I or -P will shadow modules introduced via OCAML_NAMESPACES.
however it is customary for PATH variables to have the first one takes over.
The text was updated successfully, but these errors were encountered:
dbuenzli
changed the title
OCAML_NAMESPACE shadowing order
OCAML_NAMESPACES shadowing order
Apr 18, 2019
Is currently defined as last one takes over:
however it is customary for PATH variables to have the first one takes over.
The text was updated successfully, but these errors were encountered: