This repository contains documents produced by Well-Typed while working on improvements to Cabal, thanks to investment from the Sovereign Tech Fund Contribute Back Challenges. For a high level overview, see our blog post announcing the project: Sovereign Tech Fund invests in Cabal as critical Haskell infrastructure.

Survey of uses of the Custom build-type

We initially carried out a survey of packages using the Custom build-type based on the Stackage LTS 21.9 package set. Results of this survey were used to inform the initial proposal design and prototype implementation. We then wrote experimental patches for surveyed packages and summarised the uses for hooks in each package.

In subsequent discussion of the design it became apparent that it would be useful to consider a wider range of Haskell packages which might exercise corner cases, so we expanded the survey to look at packages across Hackage.

Design

• Early draft design discussed with Cabal developers prior to HF Tech Proposal submission

• HF Tech Proposal as initially submitted

• Discussion of the proposal

• Current state of the proposal following revisions

Implementation

• Prototype implementation of the original HF tech proposal design

• Current state of the implementation following revisions

• Implementation PRs from October-December 2023