Added
-
Unused-result elimination for reductions; particularly useful when
computing with dual numbers for automatic differentiation. -
Record field projection is now possible for variables of (then)
unknown types. A function parameter must still have an
unambiguous (complete) type by the time it finishes checking.
Fixed
-
Fixed interaction between type ascription and type inference (#529).
-
Fixed duplication when an entry point was also called as a function.
-
Futhark now compiles cleanly with GHC 8.4.1 (this is also the new default).