diku-dk/futhark v0.7.3

0.7.3

on GitHub

Added

• Significant performance changes: there is now a constant extra
  compilation overhead (less than 200ms on most machines). However,
  the rest of the compiler is 30-40% faster (or more in some cases).

• A warning when ambiguously typed expressions are assigned a
  default (i32 or f64).

• In-place updates and record updates are now written with =
  instead of <-. The latter is deprecated and will be removed in
  the next major version (#650).

Fixed

• Polymorphic value bindings now work properly with module type
  ascription.

• The type checker no longer requires types used inside local
  functions to be unambiguous at the point where the local function
  is defined. They must still be unambiguous by the time the
  top-level function ends. This is similar to what other ML
  languages do.

• futhark-bench now writes "μs" instead of "us".

• Type inference for infix operators now works properly.