# Changelog
All notable changes to `aihc-parser` will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
## [Unreleased]
## [3.0.0.0] - 2026-09-06
### Changed
- **Breaking:** Added the `BuiltinCon` type for the constructors that the
grammar builds in: `(,)`, `(# , #)`, `(->)`, `[]`, and `(:)`. These
constructors have no name that a scope can bind, so the AST no longer
spells them as a `Name`. The type namespace uses `TBuiltinCon BuiltinCon
TypePromotion` and the pattern namespace uses `PBuiltinCon BuiltinCon
[Type] [Pattern]`. This replaces `TypeBuiltinCon`, `TBuiltinCon
TypeBuiltinCon`, and `PTupleCon`.
- A prefix tuple constructor in a pattern, such as `(,) a b`, parsed as a
`PCon` whose name was only commas, such as `PCon ","
[PVar "a", PVar "b"]`. The dedicated pattern parser now also accepts the
prefix tuple constructor outside parentheses, for example in a `case`
alternative.
- An unboxed prefix tuple constructor in a type, such as `(# , #) Int
Bool`, parsed as `TCon "(#,#)"`. The boxed form already had a dedicated
constructor.
- A promoted built-in constructor, such as `'[]`, `'(:)`, or `'(,)`,
parsed as a `TCon` whose name was the surface syntax, such as `TCon "[]"
Promoted`. `TBuiltinCon` now carries the promotion flag.
- **Breaking:** Added the `EViewPat` expression constructor for the
view-pattern arrow. The parser made an `EInfix` with an operator named
`->`, and `checkPattern` found the view pattern by a comparison against
that name. No scope binds a term named `->`.
- The parser now rejects `'(->)`, which GHC also rejects. The arrow has no
promoted form.
- The parser now rejects a reserved operator in a parenthesized expression:
`(->)`, `(=>)`, `(::)`, `(=)`, `(|)`, `(<-)`, `(..)`, and `(@)`. These
parsed as an `EVar` with the reserved operator as its name. GHC rejects
each of them. `(-)` and `(:)` are unchanged.
- Made module parsing about 1.5x faster on the Stackage benchmark corpus and
reduced allocation by a third. The context-item kind-signature lookahead now
stops at declaration boundaries instead of scanning to the end of the
module, the token stream memoizes each step so lookahead and backtracking
no longer rerun the layout algorithm, and the lexer dispatches on the first
character of each token.
## [2.0.0.0] - 2026-09-03
### Changed
- Added dedicated `EImplicitParam` and `DeclImplicitParam` AST constructors
for `?x` expressions and `?x = e` bindings under `ImplicitParams`. These
forms previously reused `EVar` and `PatternBind`/`PVar`, which made an
implicit parameter indistinguishable from an ordinary variable downstream.
`TImplicitParam` (the type-level form) is unchanged.
## [1.0.0.6] - 2026-09-02
### Changed
- Deferred module declaration parsing until declarations, parse errors, or the
module span are demanded.
## [1.0.0.5] - 2026-07-27
### Fixed
- Removed the developer-only `fuzz` sublibrary and flag. Property generators
and fuzz tests now exist only as internals of the test suite, so Hackage
exposes only the parser library and its runtime dependencies.
## [1.0.0.4] - 2026-07-26
### Added
- Added `Addr#` literal syntax and expanded GHC layout oracle coverage.
- Added a developer-only public fuzz registry for downstream property suites.
- Added a `Read` instance for `FixityAssoc` so downstream metadata containing
operator fixities can be persisted and restored.
### Changed
- Improved parser throughput and reduced allocations across large Stackage
inputs and deeply nested syntax.
- Moved development to the standalone
[`ai-haskell-compiler/aihc-parser`](https://github.com/ai-haskell-compiler/aihc-parser)
repository, including the full test, progress, doctest, fuzz, and
compatibility CI configuration.
### Fixed
- Aligned multiline `case` scrutinee layout with GHC.
## [1.0.0.3] - 2026-06-01
### Changed
- Simplified the Cabal package synopsis for cleaner Hackage metadata.
- Added `tested-with` metadata for supported GHC versions and tightened
package bounds to the validated dependency range.
### Fixed
- Preserved source-span annotations on binder names so downstream consumers can
locate binders parsed from declarations such as foreign imports.
## [1.0.0.2] - 2026-05-28
### Fixed
- Removed the internal `parser-tooling-common` and `parser-test-support`
sublibraries from the published Cabal package so Hackage exposes only the
core `aihc-parser` library.
## [1.0.0.1] - 2026-05-28
### Fixed
- Removed internal progress executables from the published Cabal package so
Hackage lists `aihc-parser` as library-only.
- Included parser fixture files in the source distribution so Hackage can run
the package test suite and report coverage.
## [1.0.0.0] - 2026-05-27
### Added
- Initial stable release of the from-scratch Haskell parser package.
- Public parser, lexer, syntax, pretty-printer, shorthand, token, and
parenthesis-insertion modules.
- Oracle-backed parser validation against GHC with parse/pretty round-trip
fingerprint checks.
- Haskell2010 and extension coverage tracking, including the current fully
implemented Haskell2010 baseline and supported tracked extensions.