Skip to content
Version 0.7.1 (17-06-2020)

Features
--------

- Add `ListOps.noDuplicate`, and a contract for `Set#toList` (#746)
- Check match exhaustiveness in type checker (#737)

Improvements
------------

- Rearrange debugging options (#781)
- Change StdOut print functions to handle Any (#761)
- Improve error reporting (#756)
- Add `@inlineInvariant` flag to ADT invariant dispatch method (#744)
- Use static checks for `SetOps` methods (#742)
- Recommend using Z3 4.8.6 instead of 4.7.1 (#741)

Bug fixes
---------

- Fix `List#toScala` method (#778)