Skip to content
Version 0.7.0 (07-02-2020)

Features:

- Enable `--type-checker` by default (#721)
- Rework the termination checker to infer measures for recursive functions (#721)

Improvements:

- Relax mutual recursion check for functions/ADTs enough for TypeEncoding (#721)
- Add `List#toScala` and `List.fromScala` to the library (#708)
- Add methods `map`, `withFilter`, `toList`, and `toScala` to `Set` (#708)
- Add methods `keys`, `values`, `toList` and `toScala` to `Map` (#708)

Bug fixes:

- Add missing position in `FieldAccessors` phase (#734)
- Fix extraction of extern types with Dotty frontend (#708)