GHC Proposals
This repository contains specifications for proposed changes to the Glasgow Haskell Compiler. The purpose of the GHC proposal process, and of the GHC Steering Committee, is to broaden the discussion of the evolution of GHC.
What is a proposal?
A GHC Proposal is a document describing a proposed change to the compiler, the
GHC/Haskell language, or the libraries in the GHC.*
module namespace. These
include,
- A syntactic change to GHC/Haskell (e.g. the various
ShortImports
proposals,do
expressions without$
) - A major change to the user-visible behaviour of the compiler (e.g. the recent
change in super-class
solving, and
-Wall
behavior) - The addition of major features to the compiler (e.g.
-XTypeInType
, GHCi commands, type-indexedTypeable
representations)
Where can I find proposals currently under discussion?
Proposal discussion occurs on GitHub pull requests. See the Pull Requests list list for the list of active discussions. To see the text of the proposal click on the Files Changed tab on corresponding Pull Request page.
Note that Github offers two ways of viewing diffs: the "source diff" view, which shows a plain text diff, and the "rich diff" view, which provides a more readable rendered view of the markup. Comments can be left only when viewing in source diff mode. The view can be selected using the buttons on the top-right corner of the Files Changed tab.
Use the view selector buttons on the top right corner of the "Files Changed" tab to change between "source diff" and "rich diff" views.
Feedback on a proposal can be offered on open pull requests using both Github's in-line and pull request commenting features.
Hover over a line in the source diff view of a pull request and
click on the +
to leave an inline comment
How do I submit a proposal?
See the Proposal Submission page.
How are proposals decided upon?
Proposals are ultimately evaluated by the GHC Steering Committee based upon a number of criteria and in light of community feedback.