Skip to content

Contributors Guide

Thank you for considering contributing to the maintenance or development of Stack, or otherwise supporting users of Stack! We hope that the following information will encourage and assist you. We start with some advice about Stack's goals and governance, and approach to supporting users.

Stack's goals

Stack's current goals are:

  • To provide easy to use tooling for Haskell development
  • To provide complete support for at least the following three development environments: Linux, macOS, and Windows
  • To address the needs of industrial users, open source maintainers, and other people
  • To focus on the 'curated package set' use case
  • To prioritize reproducible build plans

The goals above are not set in stone. However, any major changes to them should involve significant public discussion and a public vote by the Stack maintainer team.

Stack's governance

People involved in maintaining or developing Stack with rights to make commits to the repository can be classified into two groups: 'committers' and 'maintainers'.

Stack's committers

We encourages a wide range of people to be granted rights to make commits to the repository.

People are encouraged to take initiative to make non-controversial changes, such as documentation improvements, bug fixes, performance improvements, and feature enhancements.

Maintainers should be included in discussions of controversial changes and tricky code changes.

Our general approach is "it's easier to ask forgiveness than permission". If there is ever a bad change, it can always be rolled back.

Stack's maintainers

Stack's maintainers are long-term contributors to the project. Michael Snoyman (@snoyberg) was the founder of Stack, and its initial maintainer - and he has added others. Michael's current interests and priorities mean that he is no longer actively involved in adding new features to Stack.

Maintainers are recognized for their contributions including:

  • Direct code contribution
  • Review of pull requests
  • Interactions on the GitHub issue tracker
  • Documentation management
  • External support - for example, hosting or training

The maintainer team make certain decisions when that is necessary, specifically:

  • How to proceed, if there is disagreement on how to do so on a specific topic
  • Whether to add or remove (see further below) a maintainer

Generally, maintainers are only removed due to non-participation or actions unhealthy to the project. Removal due to non-participation is not a punishment, simply a recognition that maintainership is for active participants only.

We hope that removal due to unhealthy actions will never be necessary, but would include protection for cases of:

  • Disruptive behavior in public channels related to Stack
  • Impairing the codebase through bad commits/merges

Like committers, maintainers are broadly encouraged to make autonomous decisions. Each maintainer is empowered to make a unilateral decision. However, maintainers should favor getting consensus first if:

  • They are uncertain what is the best course of action
  • They anticipate that other maintainers or users of Stack will disagree on the decision

Stack's support

A large part of the general discussion around Stack is on support-related topics, and that is reflected in the current issue tracker content. Assistance in responding to such matters is greatly appreciated.

While support-related matters can be posted here as an 'issue', we encourage the use of other forums, in particular Haskell's Discourse. We also recommend Haskell's Discourse for general discussions about Stack's current or desired features. Stack is also discussed on Reddit's Haskell community.

We encourage use of those other forums because support-related discussions can clog up the issue tracker and make it more difficult to maintain the project. People needing support may also get a faster and fuller response on other forums.

Additions to the issue tracker are better suited to concrete feature proposals, bug reports, and other code base discussions (for example, refactorings).

Bug Reports

Please open an issue and use the provided template to include all necessary details.

The more detailed your report, the faster it can be resolved and will ensure it is resolved in the right way. Once your bug has been resolved, the responsible person will tag the issue as Needs confirmation and assign the issue back to you. Once you have tested and confirmed that the issue is resolved, close the issue. If you are not a member of the project, you will be asked for confirmation and we will close it.

Documentation

Consistent with its goal of being easy to use, Stack aims to maintain a high quality of in-tool and online documentation.

The in-tool documentation includes the output when the --help flag is specified and the content of Stack's warning and error messages.

When drafting documentation it is helpful to have in mind the intended reader and what they are assumed to know, and not know, already. In that regard, documentation should aim to meet, at least, the needs of a person who is about to begin to study computing as an undergraduate but who has not previously coded using Haskell. That person may be familiar with one popular operating system but may not be familiar with others.

The files which make up Stack's online documentation are located in the doc directory of the repository. They are formatted in the Markdown syntax, with some extensions.

Those files are rendered on haskellstack.org by Read the Docs using MkDocs and the Material for MkDocs theme. The stable branch of the repository provides the 'stable' version of the online documentation. The master branch provides the 'latest' version of the documentation.

The 'stable' version of the online documentation is intended to be applicable to the latest released version of Stack. If you would like to help with that documentation, please submit a pull request with your changes/additions based off the stable branch.

The Markdown files are organised into the navigation menu (the table of contents) in the file mkdocs.yml, the configuration file for MkDocs. The description of a file in the menu can differ from the file's name. The navigation menu allows files to be organised in a hierarchy. Currently, up to three levels are used. The top level is:

  • Welcome!: The introduction to Stack. This page aims to be no longer than necessary but also to not assume much existing knowledge on the part of the reader. It provides a 'quick start' guide to getting and using Stack.
  • How to get & use Stack: This includes Stack's user's guide, answers to frequently asked questions, and more thorough explanations of aspects of Stack. The user's guide is divided into two parts. The first part is 'introductory', and has the style of a tutorial. The second part is 'advanced', and has more of a reference style.
  • How Stack works (advanced): Many users will not need to consult this advanced documentation.
  • Stack's code (advanced): Other information useful to people contributing to, or maintaining, Stack's code, documentation, and other files.
  • Signing key: How Stack's released executables are signed.
  • Glossary: A glossary of terms used throughout Stack's in-tool and online documentation. We aim to describe the same things in the same way in different places.
  • Version history: The log of changes to Stack between versions.

The specific versions of the online documentation (eg v: v2.9.1) are generated from the content of files at the point in the repository's history specified by the corresponding release tag. Consequently, that content is fixed once released.

If the names of Markdown files do not change between versions, then people can use the flyout on the online documentation to move between different versions of the same page. For that reason, the names of new Markdown files should be chosen with care and existing Markdown files should not be deleted or renamed without due consideration of the consequences.

The Markdown syntax supported by MkDocs and the Material for MkDocs theme can differ from the GitHub Flavored Markdown (GFM) supported for content on GitHub.com. Please refer to the MkDocs documentation and the Material for MkDocs reference to ensure your pull request will achieve the desired rendering.

The extensions to the basic Markdown syntax used are set out in mkdocs.yml and include:

  • admonitions
  • code blocks, with syntax highlighting provided by Pygments
  • content tabs, which can be nested
  • icons and emojis

The files in the doc directory of the repository include two symbolic links (symlinks), ChangeLog.md and CONTRIBUTING.md. Users of Git on Windows should be aware of its approach to symbolic links. See the Git for Windows Wiki. If git config --show-scope --show-origin core.symlinks is false in a local repository on Windows, then the files will be checked out as small plain files that contain the link text See the Git documentation.

Error messages

Stack catches exceptions thrown by its dependencies or by Stack itself in Main.main. In addition to exceptions that halt Stack's execution, Stack logs certain other matters as 'errors'.

To support the Haskell Foundation's Haskell Error Index initiative, all Stack error messages generated by Stack itself should have a unique initial line:

Error: [S-nnnn]

where nnnn is a four-digit number in the range 1000 to 9999.

If you create a new Stack error, select a number using a random number generator (see, for example, RANDOM.ORG) and check that number is not already in use in Stack's code. If it is, pick another until the number is unique.

All exceptions generated by Stack itself are implemented using data constructors of closed sum types. Typically, there is one such type for each module that exports functions that throw exceptions. This type and the related instance definitions are usually located at the top of the relevant module.

Stack supports two types of exceptions: 'pretty' exceptions that are instances of class RIO.PrettyPrint.Pretty, which provides pretty :: e -> StyleDoc, and thrown as expressions of type RIO.PrettyPrint.PrettyException.PrettyException; and other 'plain' exceptions that are simply instances of class Control.Exception.Exception and, hence, instances of class Show. These types and classes are re-exported by Stack.Prelude.

Stack throws exceptions in parts of the code that should, in principle, be unreachable. The functions Stack.Prelude.bugReport and Stack.Prelude.bugPrettyReport are used to give the messages a consistent format. The names of the data constructors for those exceptions usually end in Bug.

In a few cases, Stack may throw an exception in 'pure' code. The function RIO.impureThrow :: Exception e => e -> a, re-exported by Stack.Prelude, is used for that purpose.

Code

If you would like to contribute code to fix a bug, add a new feature, or otherwise improve stack, pull requests are most welcome. It's a good idea to submit an issue to discuss the change before plowing into writing code.

If you'd like to help out but aren't sure what to work on, look for issues with the awaiting pull request label. Issues that are suitable for newcomers to the codebase have the newcomer friendly label. Best to post a comment to the issue before you start work, in case anyone has already started.

Please include a ChangeLog entry and documentation updates with your pull request.

Backwards Compatability

The Stack executable does not need to, and does not, strive for the same broad compatibility with versions of GHC that a library package (such as pantry) would seek. Instead, Stack aims to define a well-known combination of dependencies on which its executable relies. That applies in particular to the Cabal package, where Stack aims to support one, and only one, version of Cabal with each release of its executable. At the time of writing (September 2022) that combination is defined by resolver nightly-2022-11-14 (for GHC 9.2.4, and including Cabal-3.6.3.0) - see stack.yaml.

Code Quality

The Stack project uses yamllint as a YAML file quality tool and HLint as a code quality tool.

Linting of YAML files

The yamllint configuration extends the tools default and is set out in .yamllint.yaml. In particular, indentation is set at 2 spaces and - in sequences is treated as part of the indentation.

Linting of Haskell source code

The HLint configurations is set out in .hlint.yaml.

Stack contributors need not follow dogmatically the suggested HLint hints but are encouraged to debate their usefulness. If you find a HLint hint is not useful and detracts from readability of code, consider marking it in the configuration file to be ignored. Please refer to the HLint manual for configuration syntax.

Quoting @mgsloan:

We are optimizing for code clarity, not code concision or what HLint thinks.

You can install HLint with Stack. You might want to install it in the global project in case you run into dependency conflicts. HLint can report hints in your favourite text editor. Refer to the HLint repository for more details.

To install, command:

stack install hlint

Once installed, you can check your changes with command:

stack exec -- sh ./etc/scripts/hlint.sh

Testing

The Stack code has both unit tests and integration tests. Integration tests can be found in the test/integration folder and unit tests, in the src/test folder. Tests are written using the Hspec framework. In order to run the full test suite, you can simply command:

stack test

The --file-watch is a very useful option to get quick feedback. However, running the entire test suite after each file change will slow you down. You'll need to specify which test suite (unit test or integration) and pass arguments to specify which module you'd specifically like to run to get quick feedback. A description of this follows below.

Working with Unit Tests

If you would like to run the unit tests on their own, you can command:

stack test stack:stack-test

Running an individual module works with a command like this:

stack test stack:stack-test --ta "-m <PATTERN>"

Where <PATTERN> is the name of the module without Spec.hs.

You may also load tests into GHCi and run them with these command:

stack ghci stack:stack-test --only-main
# GHCi starting up output ...
> :main -m "<PATTERN>"

Where again, <PATTERN> is the name of the module without Spec.hs.

Working with Integration Tests

Running the integration tests is a little involved, you'll need to command:

stack build --flag stack:integration-tests stack --exec stack-integration-test

Running an individual module works with a command like this:

stack build --flag stack:integration-tests stack --exec "stack-integration-test -m <PATTERN>"

Where <PATTERN> is the name of the folder listed in the test/integration/tests/ directory.

You may also achieve this through GHCi with this command:

stack ghci stack:stack-integration-test
# GHCi starting up output ...
> :main -m "<PATTERN>"

Where again, <PATTERN> is the name of the folder listed in the test/integration/tests/ directory.

Continuous integration (CI)

We use GitHub Actions to do CI on Stack. The configuration of the workflows is in the YAML files in .github/workflows. The current active workflows are:

Linting - lint.yml

This workflow will run if: * there is a pull request * commits are pushed to these branches: master, stable and rc/**

The workflow has one job (style). It runs on ubuntu only and applies yamllint and Hlint.

Test suite - unit-tests.yml

This workflow will run if: * there is a pull request * commits are pushed to these branches: master, stable and rc/**. * requested

The workflow has two jobs: pedantic and unit-tests.

The pedantic job runs on ubuntu only and builds Stack with the --pedantic flag.

The unit-tests job runs on a matrix of operating systems and Stack project-level YAML configuration files (stack.yaml). It builds and tests Stack with the following flags: --haddock --no-haddock-deps.

Its approach to creating a cache depends on the operating system. Its 'Cache dependencies on Unix-like OS' step caches the Stack root on Unix-like operating systems. Its 'Cache dependencies on Windows' step caches the same information on Windows, but takes into account that a relevant directory is located outside of the Stack root.

Integration-based - integration-tests.yml

This workflow will run if: * there is a pull request * commits are pushed to these branches: master, stable and rc/** * any tag is created * requested

The workflow has three jobs: integration-tests, linux-arm64 and github-release.

The integration-tests job runs on a matrix of operating systems (ubuntu, windows and macos) and makes use of the release.hs script at etc/scripts. Its approach to creating a cache is the same as for unit-tests.yml, described above.

Its 'Install deps and run checks' step uses release.hs check.

Its 'Build bindist' step uses release.hs build.

Its 'Upload bindist' step uploads artifacts using the name of the runner's operating system (Linux, Windows or macOS) as the name for the artifacts.

The linux-arm64 job runs on a self-hosted runner for Linux and ARM64. It makes use of Docker and a Docker file at etc/dockerfiles/arm64.Dockerfile.

Its 'Build bindist' step makes use of a compiled version of release.hs script at etc/scripts to command release build.

Its 'Upload bindist' step uploads artifacts using Linux-ARM64 as the name for the artifacts.

The github-release job needs integration-tests and linux-arm64. It only takes effect if the trigger for the workflow was the creation of a tag.

Its four steps Download Linux/Windows/macOS/Linux-ARM64 artifact download the named artifacts to path _release.

Its step 'Hash and sign assets' makes use of a 'secret' environment variable RELEASE_SIGNING_KEY established by the owner of the Stack repository. The variable contains the private key for the GPG key with ID 0x575159689BEFB442. That key is imported into GPG and then used by GPG to create a detached signature for each file.

Inactive - stan.yml

Stan is a Haskell static analysis tool. As of 29 August 2022, it does not support GHC >= 9.0.1 and Stack is built with GHC >= 9.2.4. Consequently, this workflow does not run. Its intent is to apply Stan to Stack.

Slack channel

If you're making deep changes and real-time communication with the Stack team would be helpful, we have a #stack-collaborators Slack channel in the Haskell Foundation workspace. To join the workspace, follow this link.