Changelog for polytropos-plugin-0.1.0.0
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