# Changelog for polytropos-plugin

## 0.1.0.0 — Initial Release

- GHC typechecker plugin synthesizing literal dictionaries and $O(1)$ jump tables directly into Core AST
- Solves `FieldIndex` by emitting literal slot index integers
- Solves `ConstructorIndex` by emitting literal tag integers
- Solves `RowEq` and `RowShow` by synthesizing unrolled per-field comparison and formatting routines without inductive search
- Solves `RowEqSum` and `RowShowSum` by synthesizing Core pattern match expressions over constructor tags
- Solves `AllFields` by synthesizing dictionary arrays
- Human-centric compile-time `TypeError` diagnostics with Levenshtein-distance fuzzy field name suggestions
- Multi-GHC compatibility covering GHC 9.6 through GHC 9.14 via `Polytropos.Plugin.Compat`