purescript v0.14.3 Release Notes

  • ๐Ÿ†• New features:

    • ๐Ÿ“š Display kind signatures and their comments in documentation (#4100 and #4119 by JordanMartinez)

    The compiler now displays kind signatures for data, newtype, type synonym, and type class declarations in generated documentation. The compiler now also includes documentation-comments (i.e. those which start with a | character) both above and below the associated kind signature declaration (if any) in generated documentation, whereas previously documentation-comments above a kind signature declaration were ignored.

    Both explicitly declared and inferred kinds are included in documentation. The compiler omits including a kind signature in generated documentation only when the kind is considered "uninteresting". An uninteresting kind is defined as one where all of the declaration's type parameters have kind Type.

    ๐Ÿ›  Bugfixes:

    • ๐Ÿ“š Ensure unnamed instances appear in documentation (#4109 by @JordanMartinez)

    • ๐Ÿ‘ Allow fixity, kind, role declarations in REPL (#4046, @rhendric)

    • ๐Ÿ‘ท Pin OS versions used in CI (#4107, @f-f)

    • ๐Ÿ›  Fix UnusedName warnings for multiple non-recursive let bindings (#4114 by @nwolverson)

    • โœ‚ Remove generated names from errors about instances (#4118 by @rhendric)

    Internal:

    • ๐Ÿ›  Fix for Haddock (#4072 by @ncaq and @JordanMartinez, #4139 by @JordanMartinez)

    • ๐Ÿš€ Update RELEASE_GUIDE.md with more details (#4104 by @JordanMartinez)

    • ๐Ÿ‘‰ Use GenIdent for anonymous instances (#4096, @rhendric)

    • Desugar type class instance names in type class desugaring pass (#4099 by @JordanMartinez)