# Changelog for haskell-syntax

# 0.4.2.0
- Support GHC 9.

# 0.4.1.0
- Add `funBindsWithFixity`.
- Add `standaloneDeriving`.

# 0.4.0.0

## Breaking Changes
- Functions defining types and classes now take their
  type parameters as `HsTyVarBndr'` rather than `OccNameStr`.
  To construct a `HsTyVarBndr'`, use either `bvar` or `kindedVar`.
  Affects: `class'`, `type'`, `newtype'`, and `data'`.
- Remove support for ghc-8.2.*.

## Other Changes
- Add support for ghc-8.10.
- Add `kindedVar`.
- Add `tuplePromotedTy`.
- Add `from`, `fromTo`, `fromThen`, `fromThenTo`.
- Add `listComp`.

## 0.3.0.0
- Add `occNameToStr` and `nameToStr` to convert from the GHC types.
- Make `listPromotedTy` emit the promoted form `'[..]`,
  to distinguish from regular list types of zero or one elements.

## 0.2.0.1
- Bump upper-bound to allow `QuickCheck-2.13`.

## 0.2
- Improve overall documentation..
- Move `patBind` to a new `HasPatBind` class so that it can be used
  with `let'` and `while'`.
- Remove `GHC.SourceGen.Syntax` and export types from relevant modules
  (for example, `HsType'` from `GHC.SourceGen.Type`).
- Refactor the treatment of names:
    - Rename the constructors of `RdrNameStr`.
    - Make some combinators take `OccNameStr` instead of `RdrNameStr`, and
      introduce the `BVar` class for patterns.
    - Add `Eq` and `Ord` instances.
- Support more kinds of syntax:
    - Deriving clauses
    - Import/export lists
    - Record expressions and patterns
    - Type family instances
    - Pattern synonyms (currently, only the prefix form)
- Refactor the names and types of `match` and related combinators,
  optimizing for the common case of a single expression on the RHS.
- Fix edge cases when parsing qualified operators.
- Add parentheses in some cases that were previously missing them.
- Make `==>` have the same precedence as `-->` to make it easier to
  combine them.
- Make `tyApp`'s precedence match `-XTypeApplications`.
- Fix pretty-printing of rational literals.
- Make `tyPromotedVar` pretty-print as `'Abc` not `Abc`.
- Add `conP_` for pattern constructors with no arguments.

## 0.1.0.0
Initial version.