Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Merged master with dmwit/master and finished new-exec.
I had some trouble with git. There are two mege commits where I should have rebased instead, and now it's kinda difficult to fix (see those new-bench commits? they are from the merge.), but I suppose I'll have to do it before merging in master?
Also there's the question of how to rewrite the ghc program name. As a temporary solution I just check if it's ``elem
Fixes #3638 (finally!)
FWIW, as a user I would like
@cocreature the rewriting only happens as a fallback when using older versions of ghc that don't support .ghc.environment files, and eventually (well, after the 5 or so years of support...) will disappear. Other compilers will probably need rewriting though (I'm changing that code to be more general).
I agree that the naming is unfortunate, and I actually would prefer a
Of course if there is enough support we can always split the command, it's only a few changes.
So this looks fine, nicely self-contained and ready to go in. Would be nice with a changelog note and a section in the user's guide, but that (and minor fixes I suggested) can be part of a separate PR.