Skip to content

v0.19.0
Compare
Choose a tag to compare
@github-actions github-actions released this 25 Mar 18:53
· 533 commits to main since this release
v0.19.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
3994c6b
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

v0.19.0 -- 2024-03-25

Added

  • Added polymorphic type declarations, allowing abstracting commonly used data
    types like Option[a] and Result[err, ok]. Note that this is not yet
    supported by verify. (#1298)
  • Added compile subcommand, allowing compiling specs to TLA+ (via Apalache)
    and to a JSON format. (#1309, #359)

Changed

  • The latest supported node version is now bounded at <= 20, which covers the
    latest LTS. (#1380)
  • Shadowing names are now supported, which means that the same name can be redefined
    in nested scopes. (#1394)
  • The canonical unit type is now the empty tuple, (), rather than the empty
    record, {}. This should only affect invisible things to do with sum type
    constructors. (#1401)

Deprecated

Removed

Fixed

  • Removed a dependency causing deprecation errors messages to be emitted.
    (#1380)
  • Fixed a type checker bug causing too general types to be inferred (#1409).
  • Fixes serialization of Sets in JSON outputs (#1410).

Security

Assets 2
Loading