Update pack nightly and add contrib package#41
Conversation
Update base image from nightly-250523-jammy to nightly-260208-jammy and explicitly install contrib alongside tester, enabling exercises to use libraries like Data.Linear.Array. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
|
Hello. Thanks for opening a PR on Exercism 🙂 We ask that all changes to Exercism are discussed on our Community Forum before being opened on GitHub. To enforce this, we automatically close all PRs that are submitted. That doesn't mean your PR is rejected but that we want the initial discussion about it to happen on our forum where a wide range of key contributors across the Exercism ecosystem can weigh in. You can use this link to copy this into a new topic on the forum. If we decide the PR is appropriate, we'll reopen it and continue with it, so please don't delete your local branch. If you're interested in learning more about this auto-responder, please read this blog post. Note: If this PR has been pre-approved, please link back to this PR on the forum thread and a maintainer or staff member will reopen it. |
Add `depends = contrib` to every exercise .ipkg file, giving students access to libraries like Data.Linear.Array for linear-type solutions. Since hello-world.ipkg is the template used by bin/add-practice-exercise, future exercises will inherit this dependency automatically. Depends on exercism/idris-test-runner#41. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
There was a problem hiding this comment.
Pull request overview
Updates the Idris2 Pack base image to a newer nightly and ensures the contrib package is registered in Pack so exercises can use standard Idris 2 distribution libraries (e.g., linear mutable arrays).
Changes:
- Bump base Docker image from
nightly-250523-jammytonightly-260208-jammy. - Install/register
contribalongsidetestervia Pack during image build.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Add `depends = contrib` to every exercise .ipkg file, giving students access to libraries like Data.Linear.Array for linear-type solutions. Since hello-world.ipkg is the template used by bin/add-practice-exercise, future exercises will inherit this dependency automatically. Depends on exercism/idris-test-runner#41. Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
Summary
nightly-250523-jammytonightly-260208-jammycontribalongsidetester, enabling exercises to use libraries likeData.Linear.ArrayContext
The
contriblibrary is part of the Idris 2 distribution and is already present in the base pack image (22MB, pre-compiled). TheRUN pack install contribline simply registers it in pack's package index. This adds zero additional Docker image size.Making
contribavailable allows students to use Idris 2's linear types with mutable arrays — a key differentiating feature of the language. See the forum discussion.Test plan
contribadds no image size (already in base image)🤖 Generated with Claude Code