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
flambda-backend: Only substitute once in Env.read_sign_of_cmi (#1670)
This is mostly a cleanup, but it does mean that substitution will happen with
the `Make_local` scoping policy rather than `Rescope`. At one point `Rescope`
was necessary to work around a problem in `Includemod` but no longer.
0 commit comments