v0.17.0

v0.17.0 -- 2023-12-04

Added

• When an input file only one module, it will be inferred as the main module (#1260)
• Sum types are now supported when running verify (#1034)

Changed

Deprecated

Removed

Fixed

• Produce proper error messages on invalid module name (#1260)
• Fix JSON output when running multiple tests (#1264)
• Topological sorting of modules (#1268)
• The effect checker will now check for consistency of updates across different
  cases inside match (#1272)
• Fix problems in the integration of sum types in run, test, and verify commands (#1276)
• Fix some corner cases with the usage of complex expressions inside assume
  and import (...) (#1276)
• Fix incorrect type checking failure from interference between sum types
  sharing variant labels (#1275)
• Fix the IDs generated for operator definition bodies (#1280)
• Fixed missing support for sum type variants in ITF traces (#1281)

Security