purescript v0.14.4 Release Notes

  • ๐Ÿ›  Bugfixes:

    • Solve Prim.Row.Union left right all constraint for left when all and right are already closed rows, (#3720 by @MonoidMusician) reflecting the existing functional dependency all right -> left

    • ๐Ÿ“„ Account for redundant parens when excluding uninteresting kind sigs from docs (#4137 by @JordanMartinez)

    • โž• Add a hint for errors in foreign data type declarations (#4161 by @kl0tl)

    • ๐Ÿšš Do not remove bindings referenced in function declarations when bundling (#4044 by @kl0tl)

    • ๐Ÿ‘Œ Improve row type error messages (#4159 by @rhendric)

      • Remove a redundant hint that repeats the types in the error
      • Correctly diff rows containing duplicate items
      • Erase kind applications from rows in errors (by default)
    • ๐Ÿ›  Fix bad interaction between superclasses and type synonyms (#4164 by @rhendric)

    See #4101.

    • ๐Ÿ›  Fix regression in row unification (#4168 by @rhendric)

    • ๐Ÿ›  Fix backtick operator rule (#4172 by @JordanMartinez)

    Other improvements:

    • โž• Add developer guide to readme (#3900 by @milesfrain)

    Internal:

    • ๐Ÿš€ Move unreleased changelog entries to CHANGELOG.d (#4132 by @rhendric)

    See CHANGELOG.d/README.md for details.

    • ๐Ÿš€ Clarify in RELEASE_GUIDE what to do when broken releases are made (#4147 by @JordanMartinez)

    • ๐Ÿš€ Miscellaneous updates/clarifications to the release guide (#4131 by @JordanMartinez)

    • ๐Ÿ‘ท Run Weeder in CI and make it happy (#4148 by @rhendric)

    • โž• Add golden tests for self cycles in type class declarations, kind declarations and foreign data type declarations (#4162 by @kl0tl)

    • Represent class dictionaries as newtypes (#4125 by @rhendric)