Release v0.19.0

[bugarela]

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. (Add support for polymorphic type declaration in the type checking constraints #1298)
• Added compile subcommand, allowing compiling specs to TLA+ (via Apalache)
  and to a JSON format. (Support integration with TLC #1309, Add compile sub command #359)

Changed

• The latest supported node version is now bounded at <= 20, which covers the
  latest LTS. (Remove node-fetch dep and put upper bound in node versions #1380)
• Shadowing names are now supported, which means that the same name can be redefined
  in nested scopes. (Allow shadowing #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. (Use () for the unit and parse as an empty tuple, instead of using {} and parsing as an empty record #1401)

Deprecated

Removed

Fixed

• Removed a dependency causing deprecation errors messages to be emitted.
  (Remove node-fetch dep and put upper bound in node versions #1380)
• Fixed a type checker bug causing too general types to be inferred (Fix the type quantification strategy #1409).
• Fixes serialization of Sets in JSON outputs (Fix serialization of Sets #1410).

Security