docker: build-box should set opam env#6
Closed
fdupress wants to merge 1 commit intoEasyCrypt:1.0from
fdupress:fix-build-box
Closed
docker: build-box should set opam env#6fdupress wants to merge 1 commit intoEasyCrypt:1.0from fdupress:fix-build-box
fdupress wants to merge 1 commit intoEasyCrypt:1.0from
fdupress:fix-build-box
Conversation
Member
|
Why? We're only installing stuffs in the switch, not using programs installed in the switch. |
Member
Author
|
This is for use of the build-box as a base for artefact boxes. Is there a
reason for not doing it?
…On Fri, 16 Mar 2018 at 06:23 Pierre-Yves Strub ***@***.***> wrote:
Why? We're only installing stuffs in the switch in this command.
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#6 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AFyP3GDIpiXF8o9Ru7nfq6etyC2h7jPgks5te1pJgaJpZM4SsUtU>
.
|
Member
|
Each docker RUN starts a new shell. So you won’t inherit this eval in the subsequent docker RUN. |
Member
Author
|
Right. Sorry. The issue I was trying to get around with this is in fact due to something completely different: the fact that opam initialisation scripts are only run in login shells. Closing this and trying to think of another way of dealing with this. |
strub
added a commit
that referenced
this pull request
Apr 30, 2026
…hange) Splits the existing TcCtt resolution logic into three named local helpers — strat_tvar_via_tvtc, strat_abs_via_decl, strat_infer_by_carrier — corresponding to catalog modes #5, #6, and #1/#2 in doc/typeclasses-inference.md. Behavior is identical: same dispatch order, same failures, same pickup of [Tvar a]/[Tconstr p] cases, same parking of univar carriers. The refactor exists so Phase 3 can drop a By-args strategy in without disturbing the existing logic.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.