Skip to content

v0.14.4

Compare
Choose a tag to compare
@JordanMartinez JordanMartinez released this 25 Aug 14:03
· 181 commits to master since this release
c2a4189

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:

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)