A much less substantial refactor than the git diff would suggest. I am mostly just moving the derivation creation up to where the shared attributes were created; this allows using the newer function form of derivation argument and accessing finalAttrs to populate a shellHook in the shared derivation. The shell hook exposes the IDRIS2_PACKAGE_PATH in dev shells which is necessary for a functional dev environment.
This is not a breaking change.
Should this change go in the CHANGELOG?
[ ] If this is a fix, user-facing change, a compiler change, or a new paper
implementation, I have updated CHANGELOG_NEXT.md (and potentially also
CONTRIBUTORS.md).
Description
A much less substantial refactor than the git diff would suggest. I am mostly just moving the derivation creation up to where the shared attributes were created; this allows using the newer function form of derivation argument and accessing
finalAttrsto populate ashellHookin the shared derivation. The shell hook exposes theIDRIS2_PACKAGE_PATHin dev shells which is necessary for a functional dev environment.This is not a breaking change.
Should this change go in the CHANGELOG?
CHANGELOG_NEXT.md(and potentially alsoCONTRIBUTORS.md).