Skip to content

1.17.0

Latest
Latest
Compare
Choose a tag to compare
@voodoos voodoos released this 18 Dec 16:17
· 48 commits to master since this release
1.17.0
d3d8de5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

CHANGES:

Fixes

  • Fix missing super & subscripts in markdown documentation. (#1170)

  • Do not invoke dune at all if --fallback-read-dot-merlin flag is on. (#1173)

  • Fix semantic highlighting of infix operators that contain '.'. (#1186)

  • Disable highlighting unit as an enum member to fix comment highlighting bug. (#1185)

  • Improve type-on-hover and type-annotate efficiency by only formatting the type
    of the first enclosing. (#1191, #1196)

  • Fix the encoding of URI's to match how vscode does it (#1197)

  • Fix parsing of completion prefixes (#1181)

Features

  • Compatibility with Odoc 2.3.0, with support for the introduced syntax: tables,
    and "codeblock output" (#1184)

  • Display text of references in doc strings (#1166)

  • Add mark/remove unused actions for open, types, for loop indexes, modules,
    match cases, rec, and constructors (#1141)

  • Offer auto-completion for the keyword in (#1217)

Assets 3